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 Natasha Sharygina
Kod Libristo: 02075327
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, czerwiec 2013
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Co... Cały opis
? points 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ć

Exploring Piano Classics Technique Alfred Publishing / Miękka
common.buy 36.67 zł
Handbook of Modern Ion Beam Materials Analysis Y. WangM. Nastasi / Twarda
common.buy 472.74 zł
Zapowiedź
Vegetative Physiologie Gerhard Heldmaier / Twarda
common.buy 224.39 zł
Parameter Setting Thomas Roeper / Twarda
common.buy 797.76 zł
Lectures on Stochastic Programming Alexander ShapiroDarinka DentchevaAndrzej Ruszczyński / Miękka
common.buy 662.66 zł
Die ewige Philosophie Aldous Huxley / Miękka
common.buy 86.08 zł
Households as Corporate Firms Krislert Samphantharak / Miękka
common.buy 183.09 zł
Gittertiere 1. Bd.1 Heidi Schär / Miękka
common.buy 90.99 zł
Decentralization and Development Partnership Fumihiko Saito / Miękka
common.buy 262.97 zł
Environmental History of Medieval Europe Richard Hoffmann / Miękka
common.buy 140.60 zł

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.§

Informacje o książce

Pełna nazwa Computer Aided Verification
Autor Natasha Sharygina, Helmut Veith
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 1015
EAN 9783642397981
ISBN 3642397980
Kod Libristo 02075327
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1539
Wymiary 155 x 235 x 56

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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