Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD 25.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
InPost 13.99 zł
Jak kupować
Pomoc
Dostawa
DPD 25.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
InPost 13.99 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści.
Załóż konto bezpłatnie
▸
Pusty :-(
0
Automated Technology for Verification and Analysis
Język
Angielski
Angielski
Książka
Miękka
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Techn...
Cały opis
Kod Libristo: 01569366
?
168 b
168 b
290.90
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 12-15 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.
Informacje o książce
Pełna nazwa
Automated Technology for Verification and Analysis
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2007
Liczba stron
570
EAN
9783540755951
ISBN
3540755950
Kod Libristo
01569366
Waga
884
Wymiary
155 x 235 x 32
Kategoria
Informatyka i technologie informacyjne (IT)
>
Informatyka (nauka)
>
Sztuczna inteligencja
>
Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT)
>
Aplikacje graficzne i dla nowych mediów
>
Projektowanie wspomagane komputerowo (CAD)
Informatyka i technologie informacyjne (IT)
>
Programowanie komputerowe i tworzenie oprogramowania
>
Inżynieria oprogramowania
