Refinement in Z and Object-ZJohn Derrick
Refinement in Z and Object-Z
John Derrick, Eerke A. Boiten · 2001
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2001
- שפה
- German
- הוצאה
- Springer London
- מהדורות
- 1
- ISBN
- 9781447102571
מקור הנתונים: Wikidata
עוד של John Derrick
Refinement in Z and ObjectZJohn Derrick
Refinement in Z and ObjectZ
John Derrick · 2013
RefinementJohn Derrick
Refinement
John Derrick · 2018
Abstract State Machines, Alloy, B, VDM, and ZJohn Derrick
Abstract State Machines, Alloy, B, VDM, and Z
John Derrick · 2012
Integrated Formal MethodsJohn Derrick
Integrated Formal Methods
John Derrick · 2012
Refinement in Z and Object-ZJohn Derrick
Refinement in Z and Object-Z
John Derrick · 2001
The Office Equipment AdviserJohn Derrick
The Office Equipment Adviser
John Derrick · 1995
Hana Highway Mile by Mile - the Road to Hana and BeyondJohn Derrick
Hana Highway Mile by Mile - the Road to Hana and Beyond
John Derrick · 2010
Formal Techniques for Networked and Distributed Systems - FORTE 2007John Derrick
Formal Techniques for Networked and Distributed Systems - FORTE 2007
John Derrick · 2007
A handbook of new office technologyJohn Derrick
A handbook of new office technology
John Derrick · 1986
What to buy for businessJohn Derrick
What to buy for business
John Derrick · 1982