FM 2009: Formal methods second world congress, Eindhoven, The Netherlands, November 2 - 6, 2009 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5850 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Beschreibung: | Literaturangaben |
|---|---|
| Beschreibung: | XVII, 820 S. graph. Darst. 24 cm |
| ISBN: | 9783642050886 |