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.

3 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 Correct Software in Web Applications and Web Services. 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

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

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

Please sign in to leave a comment