It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by MARC Bot
June 30, 2019 | History
Edit

Dimitra Giannakopoulou

4 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings

    First published in 2014 4 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verified Software : Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

    First published in 2014 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

    First published in 2012 2 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

    First published in 2011 2 editions in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Dimitra Giannakopoulou
Subjects
Software engineering, Computation by Abstract Devices, Computer science, Computer software, Congresses, Formal methods (Computer science), Information Systems, Logic design, Logics and Meanings of Programs, Management of Computing and Information Systems, Mathematical Logic and Formal Languages

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL7561336A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
June 30, 2019 Created by MARC Bot import new book