Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings - Programming and Software Engineering - D a Peled - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540292098 - 2005. gada 19. septembris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

D a Peled
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings - Programming and Software Engineering 2005 edition

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 18. sept.
Saņemiet paziņojumus par jauniem D a Peled izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia.

508 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2005. gada 19. septembris
ISBN13 9783540292098
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 508
Izmēri 152 × 229 × 26 mm   ·   725 g
Valoda Vācu  
Redaktors Peled, Doron A.
Redaktors Tsay, Yih-Kuen

Vairāk no tā paša izdevēja

Skatīt visus D a Peled ( piem., Paperback Book )