International Symposium of Formal Methods Europe (4th 1997 Graz, Austria)

FME '97, industrial applications and strengthened foundations of formal methods
International Symposium of Formal Methods Europe (4th 1997 Graz, Austria), C. B. Jones, Peter Lucas · 1997
פרטי הספר
- שנה
- 1997
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 686
- ISBN
- 9783540635338
מקור הנתונים: Wikidata