SEFM 2005: Third IEEE International Conference on Software Engineering and Formal Methods (07-09 September 2005/Koblenz, Germany)

Gespeichert in:
1. Verfasser:
Beckert, Bernhard
Körperschaft:
International Conference on Software Engineering and Formal Methods
Weitere Verfasser:
Beckert, Bernhard (MitwirkendeR)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 2005
Umfang:
1 online resource (xiv, 446 pages) : illustrations
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
ISBN:
9781509096541
150909654X
Schlagworte:
Bezugswerke:
Links: