Eintrag weiter verarbeiten
Online-Ressource

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Gespeichert in:

Personen und Körperschaften: Giannakopoulou, Dimitra (VerfasserIn), Méry, Dominique (Sonstige)
Titel: FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings/ edited by Dimitra Giannakopoulou, Dominique Méry
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2012
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7436
Schlagwörter:
Logic design
Information Systems
Computer Science
Computer science
Software engineering
Machine theory.
Electronic data processing
Konferenzschrift > 2012 > Paris
Buchausg. u.d.T.: Formal methods, Berlin : Springer, 2012, XVI, 488 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz