Clicky

Tools and Algorithms for the Construction and Analysis of Systems by Holger Hermanns and similar books you'll love - Bookscovery

Home > Authors > Holger Hermanns > Tools and Algorithms for the Construction and Analysis of Systems

Buy at: Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems

Holger Hermanns, Jens Palsberg

Recent activity

Rate this book to see your activity here.

12 Books Similar to Tools and Algorithms for the Construction and Analysis of Systems by Holger Hermanns

Bookscovery readers who liked Tools and Algorithms for the Construction and Analysis of Systems also like Computer Aided Verification, Lectures on Formal Methods and Performance Analysis and Process Algebra and Probabilistic Methods : Performance Modeling and Verification. How many of these have you read?

Computer Aided Verification by Werner Damm

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

Lectures on Formal Methods and Performance Analysis by Ed Brinksma

Cover of Lectures on Formal Methods and Performance Analysis
Buy this book at:
Bookshop.org Amazon

Process Algebra and Probabilistic Methods : Performance Modeling and Verification by Holger Hermanns

Cover of Process Algebra and Probabilistic Methods : Performance Modeling and Verification
Buy this book at:
Bookshop.org Amazon

Model Checking Software by Klaus Havelund

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

Modern compiler implementation in Java by Andrew W. Appel

Cover of Modern compiler implementation in Java
Buy this book at:
Bookshop.org Amazon

Object-oriented type systems by Jens Palsberg

Cover of Object-oriented type systems
Buy this book at:
Bookshop.org Amazon

Polyvariant analysis of the untyped lambda calculus by Jens Palsberg

Cover of Polyvariant analysis of the untyped lambda calculus
Buy this book at:
Bookshop.org Amazon

Semantics and Algebraic Specification by Jens Palsberg

Cover of Semantics and Algebraic Specification
Buy this book at:
Bookshop.org Amazon

Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday by Jens Palsberg

Cover of Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday
Buy this book at:
Bookshop.org Amazon

Static Analysis by Jens Palsberg

Cover of Static Analysis
Buy this book at:
Bookshop.org Amazon

Static Analysis by Jens Palsberg

Cover of Static Analysis
Buy this book at:
Bookshop.org Amazon

Verification, Model Checking, and Abstract Interpretation by Isil Dillig

Cover of Verification, Model Checking, and Abstract Interpretation
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Tools and Algorithms for the Construction and Analysis of Systems

Please sign in to leave a comment