ABE-IPSABE HOLDINGABE BOOKS
English Polski
Dostęp on-line

Książki

BasketTwój koszyk
0.00 PLN
0 produktów
Schowek (1) 
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Autorzy
Wydawnictwo Springer Nature
Data wydania 11/10/2006
Wydanie Pierwsze
Forma publikacji eBook: Fixed Page eTextbook (PDF)
Język angielski
ISBN 9783540472384
Kategorie Przewodniki komputerowe i serwisy online, Programowanie komputerowe (CAD), Sprzęt sieciowy, Programowanie komputerowe/rozwój oprogramowania, Inżynieria oprogramowania, Expert systems / knowledge-based systems
Produkt dostępny on-line
Typ przesyłki: wysyłka kodu na adres e-mail
E-Mail
zamówienie z obowiązkiem zapłaty
Do schowka

Opis książki

This book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

Automated Technology for Verification and Analysis

Polecamy również książki

Strony www Białystok Warszawa
801 777 223