J Van Leeuwen
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding J Van Leeuwen

Name: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding
Price: 54.49 USD
Availability: OutOfStock
Author: J Van Leeuwen

Price

$ 54.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding

J Van Leeuwen

Taken from TACAS'98, this volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems.

461 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	March 18, 1998
ISBN13	9783540643562
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	461
Dimensions	155 × 233 × 24 mm · 675 g
Language	German
Editor	Steffen, Bernhard