Formal MethodsFlemming Nielson
Formal Methods
Flemming Nielson, Hanne Riis Nielson · 2019
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2019
- הוצאה
- Springer
- מהדורות
- 1
- עמודים
- 160
- ISBN
- 9783030051556
מקור הנתונים: Wikidata
עוד של Flemming Nielson
ML with ConcurrencyFlemming Nielson
ML with Concurrency
Flemming Nielson · 2012
Two-level functional languagesFlemming Nielson
Two-level functional languages
Flemming Nielson · 2005
Principles of program analysisFlemming Nielson
Principles of program analysis
Flemming Nielson · 2004
ML With ConcurrencyFlemming Nielson
ML With Concurrency
Flemming Nielson · 1996
Principles of Security and TrustFlemming Nielson
Principles of Security and Trust
Flemming Nielson · 2020