Clicky

Formal techniques in real-time and fault-tolerant systems by Hans Langmaack and similar books you'll love - Bookscovery

Home > Authors > Hans Langmaack > Formal techniques in real-time and fault-tolerant systems

Buy at: Bookshop.org Amazon

Formal techniques in real-time and fault-tolerant systems

Hans Langmaack, Willem-Paul de Roever, Jan Vytopil

See on goodreads | librarything

Recent activity

Rate this book to see your activity here.

5 Books Similar to Formal techniques in real-time and fault-tolerant systems by Hans Langmaack

Bookscovery readers who liked Formal techniques in real-time and fault-tolerant systems also like Concurrency verification, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency and Formal techniques in real-time and fault-tolerant systems. How many of these have you read?

Concurrency verification by W.-P. de Roever

Cover of Concurrency verification
Buy this book at:
Bookshop.org Amazon

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency by Willem-Paul de Roever

Cover of Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Buy this book at:
Bookshop.org Amazon

Formal techniques in real-time and fault-tolerant systems by Jan Vytopil

Cover of Formal techniques in real-time and fault-tolerant systems
Buy this book at:
Bookshop.org Amazon

Formal Techniques in Real-Time and Fault-Tolerant Systems by Jan Vytopil

Cover of Formal Techniques in Real-Time and Fault-Tolerant Systems
Buy this book at:
Bookshop.org Amazon

Formal Techniques in Real-Time and Fault-Tolerant Systems by Jan Vytopil

Cover of Formal Techniques in Real-Time and Fault-Tolerant Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal techniques in real-time and fault-tolerant systems

Please sign in to leave a comment