Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.99 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
DPD 25.99 zł
Paczkomat 13.99 zł
ORLEN Paczka 10.99 zł
Poczta Polska 18.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
Verification: Theory and Practice
Język
Angielski
Angielski
Książka
Miękka
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birt...
Cały opis
Kod Libristo: 01559051
?
304 b
304 b
518.74
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-16 dni
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
/
Miękka
164.95
zł
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.
Informacje o książce
Pełna nazwa
Verification: Theory and Practice
Autor
Nachum Dershowitz
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2004
Liczba stron
788
EAN
9783540210023
ISBN
3540210024
Kod Libristo
01559051
Wydawnictwo
Springer, Berlin
Waga
988
Wymiary
156 x 234 x 40
Kategoria
Informatyka i technologie informacyjne (IT)
>
Informatyka (nauka)
>
Sztuczna inteligencja
>
Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT)
>
Informatyka (nauka)
>
Interakcja człowiek-komputer
>
Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT)
>
Programowanie komputerowe i tworzenie oprogramowania
>
Kompilatory i interpretery
Informatyka i technologie informacyjne (IT)
>
Programowanie komputerowe i tworzenie oprogramowania
>
Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT)
>
Programowanie komputerowe i tworzenie oprogramowania
>
Inżynieria oprogramowania
