Clicky

ZB 2003 : Formal Specification and Development in Z and B by Didier Bert and similar books you'll love - Bookscovery

Home > Authors > Didier Bert > ZB 2003 : Formal Specification and Development in Z and B

Buy at: Bookshop.org Amazon

ZB 2003 : Formal Specification and Development in Z and B

Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén

Recent activity

Rate this book to see your activity here.

5 Books Similar to ZB 2003 : Formal Specification and Development in Z and B by Didier Bert

Bookscovery readers who liked ZB 2003 : Formal Specification and Development in Z and B also like Electronic Visualisation in Arts and Culture, Theories of Programming and Formal Methods and Unifying Theories of Programming. How many of these have you read?

Electronic Visualisation in Arts and Culture by Jonathan P. Bowen

Cover of Electronic Visualisation in Arts and Culture
Buy this book at:
Bookshop.org Amazon

Theories of Programming and Formal Methods by Jonathan P. Bowen

Cover of Theories of Programming and Formal Methods
Buy this book at:
Bookshop.org Amazon

Unifying Theories of Programming by Jonathan P. Bowen

Cover of Unifying Theories of Programming
Buy this book at:
Bookshop.org Amazon

Tense Situations by Andy Luke

Cover of Tense Situations
Buy this book at:
Bookshop.org Amazon

Formal Reasoning About Distributed Algorithms by Marina Waldén

Cover of Formal Reasoning About Distributed Algorithms
Buy this book at:
Bookshop.org Amazon

Comments and reviews of ZB 2003 : Formal Specification and Development in Z and B

Please sign in to leave a comment