Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Prices from
44.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Pages: 616, Edition: Softcover reprint of hardcover 1st ed. 2004, Paperback, Springer
Description Description
Product Specifications Product specifications
Price History Price History
Related Products Related Products
?>
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 44.99
To Shop
Amazon Marketplace Logo
£ 44.99
To Shop
Description (1)

Pages: 616, Edition: Softcover reprint of hardcover 1st ed. 2004, Paperback, Springer

Product specifications

Brand Springer
EAN
  • 9783642055553

Price History

Prices were last updated on:

Springer

A Practical Theory of Reactive Systems: Incremental Modeling Dynamic Behaviors (Texts in...

£ 17.69
Compare 2 stores 2 stores

Springer

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical...

£ 32.70
Compare 2 stores 2 stores

Springer

Design and Analysis of Randomized Algorithms: Introduction to Paradigms (Texts in Theoretical...

£ 39.99
Compare 2 stores 2 stores

Springer

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

£ 32.70
Compare 2 stores 2 stores
Featured Choice
£ 44.99
To Shop