Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 2003 ; proceedings

Formal methods and software engineering 5th International Conference on Formal Engineering Methods, Singapore, November 5-7, 2003 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Formal Engineering Methods (BerichterstatterIn)
Weitere Verfasser: Dong, Jin Song (HerausgeberIn)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2003
Schriftenreihe:Lecture notes in computer science 2885
Schlagworte:
Formal methods (Computer science) > Software engineering > Konferenzschrift > Softwareentwicklung > Formale Methode > Softwarespezifikation > Verifikation > Softwaretest > Software > Testen
Online Zugang:Cover
Inhaltstext
Publisher description
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XI, 681 S.
graph. Darst.
ISBN:354020461X
3-540-20461-X