booktheque

Abstract State Machines, B and Z

Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca · 2008

איפה לקנות

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

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

פרטי הספר

שנה
2008
שפה
English
הוצאה
Springer London, Limited
מהדורות
1
עמודים
384
ISBN
9783540876038

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

עוד של Egon Börger

Architecture Design and Validation Methods
Egon Börger · 2000
Modeling Companion for Software Practitioners
Egon Börger · 2018
Computation Theory and Logic
Egon Börger · 2007
Classical Decision Problem
Egon Börger · 2001
Computer Science Logic
Egon Börger · 1992
CSL '87
Egon Börger · 1988
Structures of Computing
Egon Börger · 2024
Abstract State Machines
Egon Börger · 2013
Advances in Software Engineering
Egon Börger · 2008
Abstract State Machines 2003 : Advances in Theory and Practice
Egon Börger · 2003