phone (32) 444 93 66
LIBRISTO 0
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ł
phone Kontakt phoneJak kupować

Computer Aided Verification

Język AngielskiAngielski
Książka Miękka
Książka Computer Aided Verification Madhusudan Parthasarathy
Kod Libristo: 01661539
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2012
This book constitutes the refereed proceedings of the 24th International Conference on Computer Aide... Cały opis
? points 154 b
261.68 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ć

Soul Plan Blue Marsden / Miękka
common.buy 74.09 zł
Handbook Markus Sesko / Miękka
common.buy 140.51 zł
Zapowiedź
History of the Second World War B H Liddell Hart / Miękka
common.buy 92.44 zł
Das Bevölkerungspotential der Sowjetunion. Ernst Eisendrath / Miękka
common.buy 97.52 zł
An Introduction to Structural Optimization Peter W. Christensen / Miękka
common.buy 284.81 zł
Blanche-Neige doit mourir Nele Neuhaus / Miękka
common.buy 60.03 zł
Enserfment Russian Peasant R. E. F. Smith / Miękka
common.buy 195.76 zł
Hände weg von Mississippi Cornelia Funke / Twarda
common.buy 63.52 zł
Gesse wird deheim Svetlana Handschuh / Miękka
common.buy 53.15 zł
Why and How Addie Chisholm / Miękka
common.buy 105.70 zł
Letters of Two Brides Honoré de Balzac / Miękka
common.buy 130.33 zł
Extending jQuery Keith Wood / Miękka
common.buy 215.50 zł

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

Informacje o książce

Pełna nazwa Computer Aided Verification
Autor Madhusudan Parthasarathy, Sanjit A. Seshia
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 789
EAN 9783642314230
ISBN 3642314236
Kod Libristo 01661539
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1200
Wymiary 155 x 235 x 44

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo