Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Title:

Author:

Madhusudan, P. editor.

ISBN:

9783642314247

Physical Description:

XVI, 789p. 192 illus. online resource.

Series:

Lecture Notes in Computer Science, 7358

Series Title:

Lecture Notes in Computer Science, 0302-9743 ; 7358

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Holds:
Copies:

Library	Material Type	Item Barcode	Shelf Number	Status	Item Holds
Searching... Online Library	E-Book	197076-2001	ONLINE	Searching... Unknown	Searching... Unavailable