Eintrag weiter verarbeiten
Online-Ressource

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: Dong, Jin Song (VerfasserIn), Zhu, Huibiao (Sonstige)
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:
Computer science
Computer Communication Networks
Computer software
Computer Science
Software engineering
Computer networks .
Compilers (Computer programs).
Computer programming.
Algorithms.
Konferenzschrift > 2010 > Schanghai
Buchausg. u.d.T.: Formal methods and software engineering, Berlin : Springer, 2010, XIV, 712 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz