Domain Science and Engineering : A Foundation for Software Development
Dines Bjorner
Out of stock
Format: Book (Hardback)
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
£141.55
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to Basket£99.99
£81.35
Item not Available
Book (Hardback)
£74.50
£61.59
Item not Available
Book (Paperback / softback)
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Roberto Gorrieri
Item not Available
Format: Book (Hardback)
£69.99
£57.89
Item not Available
Book (Hardback)
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Roberto Gorrieri
Out of stock
Format: Book (Paperback / softback)
Graph and Model Transformation : General Framework and Applications
Hartmut Ehrig
Item not Available
Format: Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
Fault-Tolerant Search Algorithms : Reliable Computation with Unreliable Information
Ferdinando Cicalese
Item not Available
Format: Book (Paperback / softback)
£83.50
£82.95
Item not Available
Book (Paperback / softback)
Graph and Model Transformation : General Framework and Applications
Hartmut Ehrig
Out of stock
Format: Book (Paperback / softback)
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Out of stock
Format: Book (Hardback)
Models and Algorithms of Time-Dependent Scheduling
Stanislaw Gawiejnowicz
Out of stock
Format: Book (Paperback / softback)
£109.99
£95.55
Item not Available
Book (Hardback)
Semantic Integration of Heterogeneous Software Specifications
Martin Grosse-Rhode
Item not Available
Format: Book (Hardback)
£139.99
£120.95
Item not Available
Book (Hardback)
Duration Calculus : A Formal Approach to Real-Time Systems
Chaochen Zhou
Item not Available
Format: Book (Hardback)
£119.99
£104.05
Item not Available
Book (Hardback)
Incomplete Information: Structure, Inference, Complexity
Stephane P. Demri
Item not Available
Format: Book (Hardback)
£139.99
£120.95
Item not Available
Book (Hardback)
£84.99
£69.79
Item not Available
Book (Hardback)
£54.99
£46.05
Item not Available
Book (Hardback)
£145.00
£125.25
Item not Available
Book (Hardback)
£109.99
£95.55
Item not Available
Book (Hardback)
£169.99
£146.35
Item not Available
Book (Hardback)
Unfoldings : A Partial-order Approach to Model Checking
Javier Esparza
Item not Available
Format: Book (Hardback)
£99.99
£80.85
Item not Available
Book (Hardback)
£169.99
£146.35
Item not Available
Book (Hardback)