Integrated formal methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , , |
| Format: | E-book |
| Język: | English |
| Seria: | Lecture Notes in Computer Science,
3771 |
| Hasła przedmiotowe: | |
| Dostęp online: | Click here to view the full text content |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
| Opis fizyczny: | 1 online resource (365 pages) digital. |
|---|---|
| ISBN: | 9783540322405 9783540304920 |
| ISSN: | 0302-9743 ; |