"Tools and algorithms for the construction and analysis of systems" - Information and Links:

Tools and algorithms for the construction and analysis of systems - Info and Reading Options

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 : proceedings

"Tools and algorithms for the construction and analysis of systems" was published by Springer in 1998 - Berlin, it has 455 pages and the language of the book is English.


“Tools and algorithms for the construction and analysis of systems” Metadata:

  • Title: ➤  Tools and algorithms for the construction and analysis of systems
  • Author: ➤  
  • Language: English
  • Number of Pages: 455
  • Publisher: Springer
  • Publish Date:
  • Publish Location: Berlin

“Tools and algorithms for the construction and analysis of systems” Subjects and Themes:

Edition Specifications:

  • Pagination: xiii,455p. :

Edition Identifiers:

AI-generated Review of “Tools and algorithms for the construction and analysis of systems”:


Read “Tools and algorithms for the construction and analysis of systems”:

Read “Tools and algorithms for the construction and analysis of systems” by choosing from the options below.

Search for “Tools and algorithms for the construction and analysis of systems” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Tools and algorithms for the construction and analysis of systems” in Libraries Near You:

Read or borrow “Tools and algorithms for the construction and analysis of systems” from your local library.

Buy “Tools and algorithms for the construction and analysis of systems” online:

Shop for “Tools and algorithms for the construction and analysis of systems” on popular online marketplaces.