Formal methods and software engineering
proceedings
Lau, Kung-Kiu 2005 Springer
- Kaufen
-
Jetzt kaufen bei
- Link zu diesem Datensatz
- https://d-nb.info/976632691
- Titel
- Formal methods and software engineering : proceedings
- Art des Inhalts
- Monographie
- Verfassangaben
- 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1 - 4, 2005. Kung-Kiu Lau ; Richard Banach (ed.)
- Autor
- Lau, Kung-Kiu
- Organisation(en)
-
- International Conference on Formal Engineering Methods
- Verlag
- Berlin : Springer [2005]
- Jahr
- Erscheinungsdatum: 2005
- Umfang/Format
- XIV, 496 S.
- ISBN/Einband/Preis
9783540297970- Online
- https://d-nb.info/976632691/04
- Sprache
- eng
- Schlagwörter
- Anmerkungen
- Literaturangaben
- Stand
- 01.12.2017 22:01
- Im Katalog seit
- 06.03.2026