Formal Methods : Applications and TechnologyLubos Brim
Formal Methods : Applications and Technology
Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol · 2007
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2007
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540709527
מקור הנתונים: Wikidata
עוד של Lubos Brim
CONCUR 2002-concurrency theoryLubos Brim
CONCUR 2002-concurrency theory
Lubos Brim · 2002
Mathematical Foundations of Computer Science, 1998Lubos Brim
Mathematical Foundations of Computer Science, 1998
Lubos Brim · 1998
CONCUR 2002 - Concurrency TheoryLubos Brim
CONCUR 2002 - Concurrency Theory
Lubos Brim · 2003