Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Roberto Gorrieri
Download Now
Format: eBook (PDF)
Domain Science and Engineering : A Foundation for Software Development
Dines Bjorner
Download Now
Format: eBook (PDF)
Domain Science and Engineering : A Foundation for Software Development
Dines Bjorner
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£149.99
£102.22
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket
Unfoldings : A Partial-Order Approach to Model Checking
Javier Esparza
Download Now
Format: eBook (PDF)
Finiteness and Regularity in Semigroups and Formal Languages
Aldo de Luca
Download Now
Format: eBook (PDF)
Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use
Kurt Jensen
Download Now
Format: eBook (PDF)
Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints
Hartmut Ehrig
Download Now
Format: eBook (PDF)
Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do
Mads Tofte
Download Now
Format: eBook (PDF)
Data Structures and Algorithms 1 : Sorting and Searching
K. Mehlhorn
Download Now
Format: eBook (PDF)
Data Structures and Algorithms 2 : Graph Algorithms and NP-Completeness
K. Mehlhorn
Download Now
Format: eBook (PDF)
Data Structures and Algorithms 3 : Multi-dimensional Searching and Computational Geometry
K. Mehlhorn
Download Now
Format: eBook (PDF)
