Clicky

Formal methods and hybrid real-time systems by D. Bjørner and similar books you'll love - Bookscovery

Home > Authors > D. Bjørner > Formal methods and hybrid real-time systems

Buy at: Bookshop.org Amazon

Formal methods and hybrid real-time systems

D. Bjørner, Jones, C. B., Jim Woodcock

See on goodreads | librarything

Recent activity

Rate this book to see your activity here.

15 Books Similar to Formal methods and hybrid real-time systems by D. Bjørner

Bookscovery readers who liked Formal methods and hybrid real-time systems also like The Vienna development method, The Vienna development method and The Vienna development method. How many of these have you read?

The Vienna development method by D. Bjørner

Cover of The Vienna development method
Buy this book at:
Bookshop.org Amazon

The Vienna development method by D. Bjørner

Cover of The Vienna development method
Buy this book at:
Bookshop.org Amazon

The Vienna development method by D. Bjørner

Cover of The Vienna development method
Buy this book at:
Bookshop.org Amazon

Case studies in systematic software development by Jones, C. B.

Cover of Case studies in systematic software development
Buy this book at:
Bookshop.org Amazon

Mural by Jones, C. B.

Cover of Mural
Buy this book at:
Bookshop.org Amazon

Reflections on the work of C.A.R. Hoare by Jones, C. B.

Cover of Reflections on the work of C.A.R. Hoare
Buy this book at:
Bookshop.org Amazon

Software development by Jones, C. B.

Cover of Software development
Buy this book at:
Bookshop.org Amazon

Structure for dependability by D. Besnard

Cover of Structure for dependability
Buy this book at:
Bookshop.org Amazon

Systematic software development using VDM by Jones, C. B.

Cover of Systematic software development using VDM
Buy this book at:
Bookshop.org Amazon

The Vienna development method by D. Bjørner

Cover of The Vienna development method
Buy this book at:
Bookshop.org Amazon

The Vienna development method by D. Bjørner

Cover of The Vienna development method
Buy this book at:
Bookshop.org Amazon

The Vienna development method by D. Bjørner

Cover of The Vienna development method
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

Theories of Programming and Formal Methods by Zhiming Liu

Cover of Theories of Programming and Formal Methods
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 Formal methods and hybrid real-time systems

Please sign in to leave a comment