Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł Poczta Polska 18.99 zł ORLEN Paczka 10.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Computer Aided Verification

Name: Computer Aided Verification
Brand: Springer International Publishing AG
SKU: 12580327
Price: 261.85 PLN
Availability: InStock

Swarat Chaudhuri

Azadeh Farzan

Język

Angielski

Książka Miękka

Kod Libristo: 12580327

Wydawnictwo Springer International Publishing AG, lipiec 2016

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Internat... Cały opis

Kod Libristo: 12580327

154 b

261.85 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ć

El triunfo de la pintura : sobre el coleccionismo cortesano en el siglo XVII Jonathan Brown

/ Miękka

339.30 zł

Blaine's Playful Namaste Kerry Alison Wekelo

/ Twarda

72.24 zł

Easy Cooking for Special Diets: How to Cook for Weight Loss/Blood Sugar Control, Food Allergy, Heart Healthy, Diabetic, and Just Healthy Diets Even If Nicolette M. Dumke

/ Miękka

113.96 zł

Mediation Im Strafrecht Stefanie Mühlfeld

/ Miękka

423.42 zł

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.??The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.?

Informacje o książce

Pełna nazwa Computer Aided Verification

Autor Swarat Chaudhuri, Azadeh Farzan

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2016

Liczba stron 521

EAN 9783319415390

ISBN 3319415395

Kod Libristo 12580327

Wydawnictwo Springer International Publishing AG

Waga 8073

Wymiary 155 x 235 x 32

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

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) > Systemy operacyjne

Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja

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

Dostawa

Doradca ds. zakupów