//]]>
Normal View MARC View ISBD View

Automated technology for verification and analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /

Authors: Bouajjani, Ahmed%editor | Chin, Wei-Ngan%editor Series: Lecture notes in computer science ; . 6252 Published by : Springer, (Berlin : ) Physical details: xix, 404 p. : ill ISBN: 3642156428 Subject(s): Automatic theorem proving %Congresses. | Artificial intelligence %Congresses. Year: 2010
Tags from this library:
No tags from this library for this title.
Item type Location Call Number Status Notes Date Due
Book Book AUM Main Library English Collections Hall 620.00420285 A939 (Browse Shelf) Available JBC/2011/9083

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.

Languages: 
English |
العربية