Eintrag weiter verarbeiten
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
Gespeichert in:
Personen und Körperschaften: | , |
---|---|
Titel: | Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings/ edited by Jin Song Dong, Huibiao Zhu |
Format: | E-Book Konferenzbericht |
Sprache: | Englisch |
veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010
|
Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 6447 |
Schlagwörter: | |
Buchausg. u.d.T.: | Formal methods and software engineering, Berlin : Springer, 2010, XIV, 712 S. |
Quelle: | Verbunddaten SWB |
Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |
Wird geladen...