Library of American University of Madaba

Normal View MARC View ISBD View

Automated technology for verification and analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings / Ahmed Bouajjani, Wei-Ngan Chin. - Berlin : Springer, 2010. - xix, 404 p. : ill - Lecture notes in computer science ; 6252 .

Includes bibliographical references and index.

ISBN: 9783642156427

Subjects--Topical Terms:
Automatic theorem proving --Congresses.
Artificial intelligence--Congresses.

Dewey Class. No.: 620.00420285 / A939