Formal methods for open object-based distributed systemsRoberto Gorrieri
Formal methods for open object-based distributed systems
Roberto Gorrieri, Heike Wehrheim · 2006
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2006
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 5
- עמודים
- 267
- ISBN
- 9783540348931
מקור הנתונים: Wikidata
עוד של Roberto Gorrieri
Foundations of security analysis and design IIRoberto Gorrieri
Foundations of security analysis and design II
Roberto Gorrieri · 2004
Foundations of security analysis and designRoberto Gorrieri
Foundations of security analysis and design
Roberto Gorrieri · 2001
Process Algebras for Petri NetsRoberto Gorrieri
Process Algebras for Petri Nets
Roberto Gorrieri · 2017
Introduction to Concurrency TheoryRoberto Gorrieri
Introduction to Concurrency Theory
Roberto Gorrieri · 2015