Clicky

Abstract State Machines, Alloy, B, TLA, VDM, and Z by Yamine Ait Ameur and similar books you'll love - Bookscovery

Home > Authors > Yamine Ait Ameur > Abstract State Machines, Alloy, B, TLA, VDM, and Z

Buy at: Bookshop.org Amazon

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

Yamine Ait Ameur, Klaus-Dieter Schewe

Recent activity

Rate this book to see your activity here.

6 Books Similar to Abstract State Machines, Alloy, B, TLA, VDM, and Z by Yamine Ait Ameur

Bookscovery readers who liked Abstract State Machines, Alloy, B, TLA, VDM, and Z also like ABZ 2014 : The Landing Gear Case Study, ABZ 2014 : The Landing Gear Case Study and A Rigorous Semantics for BPMN 2.0 Process Diagrams. How many of these have you read?

ABZ 2014 : The Landing Gear Case Study by Frederic Boniol

Cover of ABZ 2014 : The Landing Gear Case Study
Buy this book at:
Bookshop.org Amazon

ABZ 2014 : The Landing Gear Case Study by Frederic Boniol

Cover of ABZ 2014 : The Landing Gear Case Study
Buy this book at:
Bookshop.org Amazon

A Rigorous Semantics for BPMN 2.0 Process Diagrams by Felix Kossak

Cover of A Rigorous Semantics for BPMN 2.0 Process Diagrams
Buy this book at:
Bookshop.org Amazon

Conceptual Modeling - ER 2007 by Christine Parent

Cover of Conceptual Modeling - ER 2007
Buy this book at:
Bookshop.org Amazon

Correct Software in Web Applications and Web Services by Bernhard Thalheim

Cover of Correct Software in Web Applications and Web Services
Buy this book at:
Bookshop.org Amazon

Hagenberg Business Process Modelling Method by Felix Kossak

Cover of Hagenberg Business Process Modelling Method
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Abstract State Machines, Alloy, B, TLA, VDM, and Z

Please sign in to leave a comment