Eintrag weiter verarbeiten
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Gespeichert in:
| Personen und Körperschaften: | , |
|---|---|
| Titel: | Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings/ edited by Dominique Méry, Stephan Merz |
| Format: | E-Book Konferenzbericht |
| Sprache: | Englisch |
| veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010
|
| Gesamtaufnahme: |
SpringerLink Lecture notes in computer science ; 6396 |
| Schlagwörter: | |
| Buchausg. u.d.T.: | Integrated formal methods, Berlin : Springer, 2010, X, 335 S. |
| Quelle: | Verbunddaten SWB |
| Zugangsinformationen: | Elektronischer Volltext - Campuslizenz |