Band 1217
Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
Aus der Reihe
Lecture Notes in Computer Science
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Verlag:Springer Berlin
- Springer Fr. 72.90
- Springer Berlin Fr. 72.90 ausgewählt
Fr. 72.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
20.03.1997
Abbildungen
X, 437 p.
Herausgeber
Ed BrinksmaVerlag
Springer BerlinSeitenzahl
437
Maße (L/B/H)
23.5/15.5/2.5 cm
Gewicht
680 g
Auflage
1997
Sprache
Englisch
ISBN
978-3-540-62790-6
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.