Eintrag weiter verarbeiten
Buchumschlag von Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Verfügbar über Online-Ressource

Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceeding...

Gespeichert in:

Personen und Körperschaften: Groves, Lindsay (VerfasserIn), Sun, Jing (Sonstige)
Titel: Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings/ edited by Lindsay Groves, Jing Sun
Medientyp: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2013
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 8144
Schlagwörter:
Druckausg.: Formal methods and software engineering, Heidelberg : Springer, 2013, XVII, 466 S.
Quelle: Verbunddaten SWB