Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed - W R Cleaveland - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540657033 - March 10, 1999
In case cover and title do not match, the title is correct

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed

W R Cleaveland

Price
CA$ 92.49

Ordered from remote warehouse

Expected delivery Dec 25 - Jan 8, 2025
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas '99, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '99, Amsterdam, the Netherlands, March 22-28, 1999: Proceed

This text presents the proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. The papers are organized into topical sections on areas such as real time systems, compositionality and abstraction, symbolic analysis and process algebras.

468 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 10, 1999
ISBN13 9783540657033
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 468
Dimensions 156 × 234 × 23 mm   ·   648 g
Editor Cleaveland, W. Rance

See all of W R Cleaveland ( e.g. Paperback Book )