Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Automated Technology for Verification and Analysis

Język AngielskiAngielski
Książka Miękka
Książka Automated Technology for Verification and Analysis Deepak D'Souza
Kod Libristo: 18124989
Wydawnictwo Springer International Publishing AG, październik 2017
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec... Cały opis
? points 125 b
223.66 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Callia l'Ateniese Giovanni Marginesu / Książka Twarda
common.buy 293.26 zł
parfum des iles Borromees René Boylesve / Książka Twarda
common.buy 96.75 zł
Die Prüfung elektrischer Maschinen Werner Nürnberg / Książka Miękka
common.buy 1 609.93 zł
Foukni a rozsviť - Hurá, sněží! Maria Hoeck / Książka Leporelo
common.buy 58.11 zł
Joyeuse Bande D'Atzavara(la) Manuel Vzquez / Książka Miękka
common.buy 47.04 zł
Heartburn Ursula Ga?l / Książka Miękka
common.buy 49.40 zł
LA PIEGE - THE TRAP ICKE DAVID / Książka Książka
common.buy 123.82 zł
Genetika pri neprawil'nom prikuse Punit Batra / Książka Miękka
common.buy 138.68 zł
Aaltje Nieuw Nederlandsch Kookboek: Achtfiende Geheel Opnieuw Bewerkte Druk Van aaltje De Volmaakte En Zuinige Keukenmeid.... O. A. Corver / Książka Twarda
common.buy 136.83 zł
Colores MARTIN MARTINEZ / Książka Twarda
common.buy 18.75 zł
Možnosť ostrova Michel Houellebecq / Książka Twarda
common.buy 72.26 zł
Marin Perdu En Mer Jouanneau / Książka Miękka
common.buy 80.35 zł
UE1 - Physiologie Gay-Queheillard / Książka Miękka
common.buy 81.79 zł
Voytek Kurtyka - L'Art de la liberté Bernadette Mcdonald / Książka Twarda
common.buy 289.16 zł
PIXEL MATHS TERM S OBLIG PROF Jean-Pierre Bouvier / Książka Miękka
common.buy 115.20 zł
Tchisso ou le révolté Ngako sebastien / Książka Miękka
common.buy 60.67 zł
vagabundito Maira Leticia Rivera Pinto / Książka Miękka
common.buy 36.99 zł
Sicilia Nel 1876 ... Libro Primo. (L. F. Condizioni Politiche E Amministrative. Libro Secondo. S. Sonnino. I Contadini.). Leopoldo Franchetti / Książka Miękka
common.buy 116.44 zł

This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Automated Technology for Verification and Analysis
Autor Deepak D'Souza, K. Narayan Kumar
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 482
EAN 9783319681665
ISBN 3319681664
Kod Libristo 18124989
Wydawnictwo Springer International Publishing AG
Waga 7548
Wymiary 155 x 235 x 30

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Sieci komputerowe i telekomunikacja
Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
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

Mogłoby Cię także zainteresować

Baby Animals Coloring Book 3 Nick Snels / Książka Miękka
common.buy 44.68 zł
Autumn Susan M. Felch / Książka Miękka
common.buy 61.90 zł
Carmen's Song Michael Harris / Książka Miękka
common.buy 53.50 zł
Soups & Sides for Every Season Alyce Morgan / Książka Miękka
common.buy 72.05 zł
Every Place Is Holy Ground: When Religion Is Not Enough Richard Venus / Książka Miękka
common.buy 64.06 zł
Algernon Charles Swinburne Evangelista Maxwell / Książka Twarda
common.buy 663.81 zł
Robin Hood-Freedom's Outlaw I a Watson / Książka Miękka
common.buy 72.05 zł
Dr Chester's Spoken English for Chinese Speakers: Numbers Dr Myrvin F Chester / Książka Miękka
common.buy 44.68 zł
Menopause to Matrimony Shelly Hickman / Książka Miękka
common.buy 40.79 zł
Ars Rhetorica; or, a Compendium of Rhetoric T. B. / Książka Twarda
common.buy 128.84 zł
Township Violence and the End of Apartheid Gary Kynoch / Książka Twarda
common.buy 569.81 zł
Fastitocalon. Studies in Fantasticism Ancient to Modern (VIII, 1 & 2) Lukasz Neubauer / Książka Miękka
common.buy 117.15 zł
The Sea-Brownie Reader, Part 2: For Second-Year Classes (1911) John Walter Davis / Książka Miękka
common.buy 132.94 zł
Hebrew Psalter William Digby Seymour / Książka Miękka
common.buy 112.33 zł
Delorme Atlas & Gazetteer: Alabama / Prasa Mapa
common.buy 97.47 zł
Bleacher Report KING KENNA / Książka Miękka
common.buy 65.08 zł
Forestville Penny Hutten / Książka Miękka
common.buy 90.19 zł
Forbidden Music Michael Haas / Książka Miękka
common.buy 95.53 zł
Warcraft Daniel Wallace / Książka Twarda
common.buy 148.72 zł
Smart Face Thomas Goodman / Książka Miękka
common.buy 63.85 zł
Oxygen in Catalysis Jerzy Haber / Książka Twarda
common.buy 2 028.05 zł
War and the City G. J. Ashworth / Książka Twarda
common.buy 1 197.14 zł
Negotiation of Personal Identity Meena Dhanda / Książka Miękka
common.buy 355.48 zł
12 Principles to Wellness Eleanor R / Książka Miękka
common.buy 42.94 zł

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?