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

Resource Information

The instance Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings, Nicolas Halbwachs, Doron Peled (Eds.) represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540662020&Type=L

Label

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

Title remainder

11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings

Statement of responsibility

Nicolas Halbwachs, Doron Peled (Eds.)

Instantiates

• Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings

Publication

• Berlin | London, Springer, ©1999

Bibliography note

Includes bibliographies and index

Carrier category

volume

Carrier category code

• nc

Carrier MARC source

rdacarrier

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Control code

41926351

Dimensions

24 cm

Extent

xii, 506 pages

Isbn

9783540662020

Media category

unmediated

Media MARC source

rdamedia

Media type code

• n

Other physical details

illustrations

Record ID

.b42290582