Titel |
Formal methods and software engineering : proceedings / 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010. Jin Song Dong ; Huibiao Zhu (ed.) |
|---|---|
Beteiligt |
Jin Song Dong (Herausgeber) |
Erschienen |
Berlin, Heidelberg, New York, NY: Springer |
Umfang |
XIV, 712 S. : graph. Darst. |
ISBN |
978-3-642-16900-7 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
Softwareentwicklung, Formale Methode, Entscheidungsverfahren, Kongress, Schanghai <2010> |
DDC-Notation |
|
Reihe |
|
Andere Ausgaben |
Erscheint auch als Online-Ausgabe: Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings |
Weitere Angaben |
Literaturangaben |
Datensatz-ID |
1007492775 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: