Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings /

Bibliographic Details
Corporate Authors:	ATVA (Symposium) Taipei, Taiwan), SpringerLink (Online service)
Other Authors:	Peled, Doron A., 1962-, Tsay, Yih-Kuen, 1962-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2005.
Series:	Lecture notes in computer science ; 3707.
Subjects:	Automatic theorem proving > Congresses. Calculs numériques > Vérification > Informatique > Congrès. Logiciels > Vérification > Congrès. Théorèmes > Démonstration automatique > Congrès. Automatic theorem proving. Calcul numérique. Vérification de logiciels. Vérification formelle. Démonstration automatique de théorèmes. Model-checking (Informatique) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (xii, 506 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	3540292098 9783540292098
ISSN:	0302-9743 ;