Formal methods in programming and their applicationsD. Bjørner
Formal methods in programming and their applications
D. Bjørner, M. Broy · 1993
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 1993
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 2
- עמודים
- 434
- ISBN
- 9783540573166
מקור הנתונים: Wikidata
עוד של D. Bjørner
Perspectives of system informaticsD. Bjørner
Perspectives of system informatics
D. Bjørner · 2000
Formal methods and hybrid real-time systemsD. Bjørner
Formal methods and hybrid real-time systems
D. Bjørner · 2007
Logics of specification languagesD. Bjørner
Logics of specification languages
D. Bjørner · 2007
The Vienna development methodD. Bjørner
The Vienna development method
D. Bjørner · 1978
The Vienna development methodD. Bjørner
The Vienna development method
D. Bjørner · 1978