Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings

Formal methods and software engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007 ; proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Formal Engineering Methods Boca Raton, Fla (VerfasserIn)
Format: Elektronisch Tagungsbericht E-Book
Sprache:English
Veröffentlicht: Berlin [u.a.] Springer 2007
Schriftenreihe:Lecture Notes in Computer Science 4789
Schlagworte:
Formale Methode
Fehlertoleranz
Programmanalyse
Softwareentwicklung
Systementwicklung
Softwaretest
Model Checking
Zuverlässigkeit
Verifikation
Konferenzschrift > 2007 > Boca Raton Fla.
Online-Zugang:DE-634
DE-M347
DE-91
DE-384
DE-473
DE-19
DE-706
DE-739
DE-355
Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:1 Online-Ressource (X, 386 S.) Ill., graph. Darst.
ISBN:9783540766483
9783540766506
DOI:10.1007/978-3-540-76650-6

Ähnliche Einträge