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ć

Automated Technology for Verification and Analysis

Język AngielskiAngielski
Książka Miękka
Książka Automated Technology for Verification and Analysis Bernd Finkbeiner
Kod Libristo: 09524362
Wydawnictwo Springer International Publishing AG, listopad 2015
This book constitutes the proceedings of the 13th International Symposium on Automated Technology fo... Cały opis
? points 168 b
289.20 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 12-17 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Manolito Gafotas Elvira Lindo / Miękka
common.buy 29.77 zł
Instructive Modern Chess Masterpieces Igor Stohl / Miękka
common.buy 154.44 zł
Zapowiedź
Habe ich denn allein gejubelt? Eva Sternheim-Peters / Twarda
common.buy 103.86 zł
Silver: The Spy Who Fooled the Nazis Mihir Bose / Twarda
common.buy 163.42 zł
Deep Black CD Collection: Deep Black, Biowar, Dark Zone Stephen Coonts / CD Audio
common.buy 77.21 zł
Organic Fertilizers Ghazala Yaqub / Twarda
common.buy 934.95 zł
Story of Boston Arthur Gilman / Twarda
common.buy 210.06 zł
Zapowiedź
Domestication of the Savage Mind Jack Goody / Twarda
common.buy 166.85 zł
Contemporary Legend / Miękka
common.buy 318.58 zł
Becoming a Great Inclusive Educator Scot Danforth / Miękka
common.buy 304.44 zł
Marshall of Santa Fe Ralph Gatlin / Twarda
common.buy 161.20 zł
New and Experimental Approaches to Writing Lives Hugh Craig / Twarda
common.buy 653.31 zł
Frontiers of Combining Systems Carsten Lutz / Miękka
common.buy 289.20 zł
Lives of the Moghul Emperors HOBART CAUNTER / Twarda
common.buy 186.84 zł
High Weald, Royal Tunbridge Wells Ordnance Survey / Mapa
common.buy 79.84 zł
Ladybird: of Love and Honor Samantha Livingston / Twarda
common.buy 173.72 zł

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.§§The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.§

Informacje o książce

Pełna nazwa Automated Technology for Verification and Analysis
Autor Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 520
EAN 9783319249520
ISBN 3319249525
Kod Libristo 09524362
Wydawnictwo Springer International Publishing AG
Waga 8015
Wymiary 155 x 235 x 30

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 > 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
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) > Informatyka (nauka) > Sztuczna inteligencja
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