Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633, Band 1633) - Softcover

 
9783540662020: Computer Aided Verification: 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings (Lecture Notes in Computer Science, 1633, Band 1633)
Softcover
ISBN 10: 3540662022 ISBN 13: 9783540662020
Verlag: Springer Berlin Heidelberg, 2008

Inhaltsangabe

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.
The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Berlin Heidelberg
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540662022
ISBN 13 
9783540662020
Einband
Taschenbuch
Anzahl der Seiten
526
Herausgeber
Halbwachs Nicolas
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland