Tools and algorithms for the construction and analysis of systems
by TACAS '2000 (6th 2000 Berlin, Germany)552 pages · English
As an Amazon Associate I earn from qualifying purchases.
Amazon opens a search, not a verified edition. Check format, price and availability there.
Book details
ArtPhilosophyTechnology
Catalogue length: 552 pages. Length can vary by edition.
Catalogue: Open Library OL12332129W; genres from Open Library subjects; summary generated from catalogue fields · Cover: Open Library Covers (display via covers.openlibrary.org; publisher artwork)