booktheque

Abstract State Machines, B and Z

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

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2008
Language
English
Publisher
Springer London, Limited
Editions
1
Pages
384
ISBN
9783540876038

Data source: Wikidata

More by 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