Clicky

Theories of Programming and Formal Methods by Zhiming Liu and similar books you'll love - Bookscovery

Home > Authors > Zhiming Liu > Theories of Programming and Formal Methods

Buy at: Bookshop.org Amazon

Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Recent activity

Rate this book to see your activity here.

12 Books Similar to Theories of Programming and Formal Methods by Zhiming Liu

Bookscovery readers who liked Theories of Programming and Formal Methods also like Engineering Trustworthy Software Systems, Theoretical Aspects of Computing -- ICTAC 2013 and Unifying Theories of Programming and Formal Engineering Methods. How many of these have you read?

Engineering Trustworthy Software Systems by Zhiming Liu

Cover of Engineering Trustworthy Software Systems
Buy this book at:
Bookshop.org Amazon

Theoretical Aspects of Computing -- ICTAC 2013 by Zhiming Liu

Cover of Theoretical Aspects of Computing -- ICTAC 2013
Buy this book at:
Bookshop.org Amazon

Unifying Theories of Programming and Formal Engineering Methods by Zhiming Liu

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

Formal methods and hybrid real-time systems by D. Bjørner

Cover of Formal methods and hybrid real-time systems
Buy this book at:
Bookshop.org Amazon

Theoretical Aspects of Computing -- ICTAC 2013 by Zhiming Liu

Cover of Theoretical Aspects of Computing -- ICTAC 2013
Buy this book at:
Bookshop.org Amazon

Unifying Theories of Programming and Formal Engineering Methods by Zhiming Liu

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

Formal Methods and Software Engineering by Jin-Song Dong

Cover of Formal Methods and Software Engineering
Buy this book at:
Bookshop.org Amazon

Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings by Huibiao Zhu

Cover of Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Buy this book at:
Bookshop.org Amazon

Service-Oriented Computing - ICSOC Workshops 2012 by Aditya Ghose

Cover of Service-Oriented Computing - ICSOC Workshops 2012
Buy this book at:
Bookshop.org Amazon

Theoretical Aspects of Computing -- ICTAC 2013 by Zhiming Liu

Cover of Theoretical Aspects of Computing -- ICTAC 2013
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

Unifying Theories of Programming and Formal Engineering Methods by Zhiming Liu

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

Comments and reviews of Theories of Programming and Formal Methods

Please sign in to leave a comment