The Logic of Partial Information
Areski Nait Abdallah
Item not Available
Format: Book (Paperback / softback)
£99.99
£81.69
Item not Available
Book (Paperback / softback)
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Roberto Gorrieri
Out of stock
Format: Book (Paperback / softback)
£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)
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)
£145.00
£125.25
Item not Available
Book (Paperback / softback)
Logics of Specification Languages
Dines Bjorner
Item not Available
Format: Book (Paperback / softback)
£171.00
£147.25
Item not Available
Book (Paperback / softback)
Unfoldings : A Partial-Order Approach to Model Checking
Javier Esparza
Item not Available
Format: Book (Paperback / softback)
£101.00
£87.99
Item not Available
Book (Paperback / softback)
Theoretical Aspects of Distributed Computing in Sensor Networks
Sotiris Nikoletseas
Item not Available
Format: Book (Hardback)
£129.99
£112.49
Item not Available
Book (Hardback)
Deterministic Extraction from Weak Random Sources
Ariel Gabizon
Item not Available
Format: Book (Hardback)
£99.99
£81.69
Item not Available
Book (Hardback)
Fault-Tolerant Search Algorithms : Reliable Computation with Unreliable Information
Ferdinando Cicalese
Item not Available
Format: Book (Hardback)
£84.99
£69.35
Item not Available
Book (Hardback)
£171.00
£147.25
Item not Available
Book (Paperback / softback)
Stochastic Coalgebraic Logic
Ernst-Erich Doberkat
Item not Available
Format: Book (Paperback / softback)
£123.00
£106.59
Item not Available
Book (Paperback / softback)
Deterministic Extraction from Weak Random Sources
Ariel Gabizon
Item not Available
Format: Book (Paperback / softback)
£101.00
£87.99
Item not Available
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)