Formal Methods for Software Engineering : Languages, Methods, Application Domains
Markus Roggenbach
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Paperback / softback)
£49.99
£37.08
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to Basket
Decision Procedures : An Algorithmic Point of View
Daniel Kroening
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£64.99
£47.40
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket
Information and Randomness : An Algorithmic Perspective
Cristian S. Calude
Download Now
Format: eBook (PDF)
Algorithmics for Hard Problems : Introduction to Combinatorial Optimization, Randomization, Approximation, and Heuristics
Juraj Hromkovic
Download Now
Format: eBook (PDF)
The Parametric Lambda Calculus : A Metamodel for Computation
Simona Ronchi Della Rocca
Download Now
Format: eBook (PDF)
Verification of Reactive Systems : Formal Methods and Algorithms
Klaus Schneider
Download Now
Format: eBook (PDF)
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Markus Roggenbach
Download Now
Format: eBook (EPUB)
Dissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Juraj Hromkovic
Download Now
Format: eBook (PDF)
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
R. Kurki-Suonio
Download Now
Format: eBook (PDF)
Complexity Theory and Cryptology : An Introduction to Cryptocomplexity
Jorg Rothe
Download Now
Format: eBook (PDF)
Software Engineering 2 : Specification of Systems and Languages
Dines Bjorner
Download Now
Format: eBook (PDF)
Dissemination of Information in Optical Networks: : From Technology to Algorithms
Subir Bandyopadhyay
Download Now
Format: eBook (PDF)
Introduction to Concurrency Theory : Transition Systems and CCS
Roberto Gorrieri
Download Now
Format: eBook (PDF)
An Introduction to Online Computation : Determinism, Randomization, Advice
Dennis Komm
Download Now
Format: eBook (PDF)
Simulation Algorithms for Computational Systems Biology
Luca Marchetti
Download Now
Format: eBook (PDF)
