Cover of Formal methods and hybrid real-time systems

Mark as

Formal methods and hybrid real-time systems

Buy this book Review

See on goodreads | librarything

More by D. Bjørner

Cover of The Vienna development method

Cover of The Vienna development method

Cover of The Vienna development method

Cover of Case studies in systematic software development

Cover of Mural

Cover of Reflections on the work of C.A.R. Hoare

Cover of Software development

Cover of Structure for dependability

Cover of Systematic software development using VDM

Cover of The Vienna development method

Cover of The Vienna development method

Cover of The Vienna development method

Cover of Dependable Software Engineering. Theories, Tools, and Applications

Cover of Theoretical Aspects of Computing -- ICTAC 2013

Cover of Theories of Programming and Formal Methods

Cover of Unifying Theories of Programming and Formal Engineering Methods

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment