Cover Image
Read Now

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings

Bibliographic Details
Other Authors: Hunt, Jr., Warren A. (Editor), Somenzi, Fabio (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2003, 2003
Edition:1st ed. 2003
Series:Lecture Notes in Computer Science
Subjects:
Computer Science Logic And Foundations Of Programming
Software Engineering
Computer Science
Formal Languages And Automata Theory
Machine Theory
Logic Design
Theory Of Computation
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Description
Physical Description:XII, 462 p online resource
ISBN:9783540450696

Similar Items