Eintrag weiter verarbeiten
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: | , |
---|---|
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 |