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

The Automated technology for verification and analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal verification spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote resea...

Celý popis

Podrobná bibliografie

Další autoři:	Peled, Doron A., 1962- (Editor)  Tsay, Yih-Kuen, 1962- (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	ATVA (sympozium) (3. : 2005 : Tchaj-pej, Tchaj-wan)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2005
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-540-31969-6 978-3-540-29209-8 3-540-29209-8
Témata:	informatika počítače softwarové inženýrství programování programovací jazyky programovací jazyk Java XML CAE
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!