Formal methods and software engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Formal Engineering Methods (BerichterstatterIn)
Weitere Verfasser:	Dong, Jin Song (HerausgeberIn), Zhu, Huibiao (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2010
Schriftenreihe:	Lecture notes in computer science 6447
Schlagworte:	Formal methods (Computer science) > Software engineering > Konferenzschrift > Softwareentwicklung > Formale Methode > Entscheidungsverfahren > Programmverifikation > Programmanalyse > Softwaretest > Model Checking > Serviceorientierte Architektur > Web Services > Leistungsbewertung
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!