booktheque

Abstract State Machines, Alloy, B, VDM, and Z

John Derrick · 2012

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2012
שפה
English
סדרה
Lecture Notes in Computer Science -- 7316
הוצאה
Springer Berlin Heidelberg
מהדורות
1
ISBN
9783642308857

מקור הנתונים: Wikidata

עוד של John Derrick

Refinement in Z and ObjectZ
John Derrick · 2013
Refinement
John Derrick · 2018
Integrated Formal Methods
John Derrick · 2012
Refinement in Z and Object-Z
John Derrick · 2001
The Office Equipment Adviser
John Derrick · 1995
Hana Highway Mile by Mile - the Road to Hana and Beyond
John Derrick · 2010
Formal Techniques for Networked and Distributed Systems - FORTE 2007
John Derrick · 2007
Refinement in Z and Object-Z
John Derrick · 2001
A handbook of new office technology
John Derrick · 1986
What to buy for business
John Derrick · 1982