Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings / Nicolas Halbwachs, Doron Peled (Eds.).

Author/creator CAV'99.
Other author Halbwachs, Nicolas.
Other author Peled, Doron A., 1962-
Format Book
Publication InfoBerlin ; London : Springer, ©1999.
Descriptionxii, 506 pages : illustrations ; 24 cm.
Subjects
Computer software--Verification. --Congresses.
Integrated circuits--Verification. --Congresses.

SeriesLecture notes in computer science ; 1633
Lecture notes in computer science 1633. ^A466336
Bibliography noteIncludes bibliographies and index.
ISBN3540662022

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.76.V47 C38 1999 ✔ Available Place Hold