Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download Now
Format: eBook (PDF)
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.28
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Paperback / softback)
Add to BasketDecision Procedures : An Algorithmic Point of View
Daniel Kroening
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£64.99
£47.01
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to BasketDissemination of Information in Communication Networks : Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Juraj Hromkovic
Download Now
Format: eBook (PDF)
Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability
Marcus Hutter
Download Now
Format: eBook (PDF)
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
R. Kurki-Suonio
Download Now
Format: eBook (PDF)
Abstract Computing Machines : A Lambda Calculus Perspective
Werner Kluge
Download Now
Format: eBook (PDF)
Design and Analysis of Randomized Algorithms : Introduction to Design Paradigms
J. Hromkovic
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)
Software Engineering 3 : Domains, Requirements, and Software Design
Dines Bjorner
Download Now
Format: eBook (PDF)
Dissemination of Information in Optical Networks: : From Technology to Algorithms
Subir Bandyopadhyay
Download Now
Format: eBook (PDF)
Modelling Distributed Systems
Wan Fokkink
In StockFree UK DeliveryEstimated delivery 2-3 working days
Format: Book (Hardback)
£49.99
£30.60
In StockFree UK DeliveryEstimated delivery 2-3 working days
Book (Hardback)
Add to BasketGraphs and Algorithms in Communication Networks : Studies in Broadband, Optical, Wireless and Ad Hoc Networks
Arie Koster
Download Now
Format: eBook (PDF)
Extremal Combinatorics : With Applications in Computer Science
Stasys Jukna
Download Now
Format: eBook (PDF)
Extremal Combinatorics : With Applications in Computer Science
Stasys Jukna
Out of StockMore expected soonContact us for further information
Format: Book (Paperback / softback)
£54.99
£40.53
Out of StockMore expected soonContact us for further information
Book (Paperback / softback)
Add to BasketFormal Methods for Software Engineering : Languages, Methods, Application Domains
Markus Roggenbach
Out of StockMore expected soonContact us for further information
Format: Book (Hardback)
£32.99
£25.90
Out of StockMore expected soonContact us for further information
Book (Hardback)
Add to Basket