FM 2009: formal methods second world congress, Eindhoven, The Netherlands, November 2-6, 2009 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FM (BerichterstatterIn)
Weitere Verfasser:	Cavalcanti, Ana (HerausgeberIn), Dams, Dennis (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2009
Schriftenreihe:	Lecture notes in computer science 5850
Schlagworte:	Computer software > Development > Formal methods (Computer science) > System design > Mathematics > Konferenzschrift > Formale Methode
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!