Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Automated Technology for Verification and Analysis

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Automated Technology for Verification and Analysis Deepak D'Souza
Libristo kod: 18124989
Nakladnici Springer International Publishing AG, listopad 2017
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec... Cijeli opis
? points 125 b
51.55 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Callia l'Ateniese Giovanni Marginesu / Knjiga Tvrdi uvez
common.buy 64.37 €
Foukni a rozsviť - Hurá, sněží! Maria Hoeck / Knjiga Leporelo
common.buy 13.41 €
Heartburn Ursula Ga?l / Knjiga Meki uvez
common.buy 11.39 €
LA PIEGE - THE TRAP ICKE DAVID / Knjiga Knjiga
common.buy 27.34 €
parfum des iles Borromees René Boylesve / Knjiga Tvrdi uvez
common.buy 22.29 €
Genetika pri neprawil'nom prikuse Punit Batra / Knjiga Meki uvez
common.buy 31.98 €
Aaltje Nieuw Nederlandsch Kookboek: Achtfiende Geheel Opnieuw Bewerkte Druk Van aaltje De Volmaakte En Zuinige Keukenmeid.... O. A. Corver / Knjiga Tvrdi uvez
common.buy 31.57 €
Colores MARTIN MARTINEZ / Knjiga Tvrdi uvez
common.buy 4.33 €
Možnosť ostrova Michel Houellebecq / Knjiga Tvrdi uvez
common.buy 15.73 €
Marin Perdu En Mer Jouanneau / Knjiga Meki uvez
common.buy 17.75 €
UE1 - Physiologie Gay-Queheillard / Knjiga Meki uvez
common.buy 18.05 €
Voytek Kurtyka - L'Art de la liberté Bernadette Mcdonald / Knjiga Tvrdi uvez
common.buy 63.76 €
PIXEL MATHS TERM S OBLIG PROF Jean-Pierre Bouvier / Knjiga Meki uvez
common.buy 25.42 €
Tchisso ou le révolté Ngako sebastien / Knjiga Meki uvez
common.buy 14.02 €
vagabundito Maira Leticia Rivera Pinto / Knjiga Meki uvez
common.buy 8.57 €
Sicilia Nel 1876 ... Libro Primo. (L. F. Condizioni Politiche E Amministrative. Libro Secondo. S. Sonnino. I Contadini.). Leopoldo Franchetti / Knjiga Meki uvez
common.buy 26.83 €
Die Prüfung elektrischer Maschinen Werner Nürnberg / Knjiga Meki uvez
common.buy 390.50 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Automated Technology for Verification and Analysis
Autor Deepak D'Souza, K. Narayan Kumar
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2017
Broj stranica 482
EAN 9783319681665
ISBN 3319681664
Libristo kod 18124989
Nakladnici Springer International Publishing AG
Težina 7548
Dimenzije 155 x 235 x 30

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer networking & communications
Computing & Information Technology > Computer science
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Robin Hood-Freedom's Outlaw I a Watson / Knjiga Meki uvez
common.buy 16.64 €
Bleacher Report KING KENNA / Knjiga Meki uvez
common.buy 15.02 €
Delorme Atlas & Gazetteer: Alabama / Tiskanica Mapa
common.buy 22.49 €
Hebrew Psalter William Digby Seymour / Knjiga Meki uvez
common.buy 25.92 €
The Sea-Brownie Reader, Part 2: For Second-Year Classes (1911) John Walter Davis / Knjiga Meki uvez
common.buy 30.67 €
Fastitocalon. Studies in Fantasticism Ancient to Modern (VIII, 1 & 2) Lukasz Neubauer / Knjiga Meki uvez
common.buy 25.72 €
Township Violence and the End of Apartheid Gary Kynoch / Knjiga Tvrdi uvez
common.buy 131.27 €
Ars Rhetorica; or, a Compendium of Rhetoric T. B. / Knjiga Tvrdi uvez
common.buy 29.66 €
Baby Animals Coloring Book 3 Nick Snels / Knjiga Meki uvez
common.buy 10.28 €
Dr Chester's Spoken English for Chinese Speakers: Numbers Dr Myrvin F Chester / Knjiga Meki uvez
common.buy 10.28 €
Algernon Charles Swinburne Evangelista Maxwell / Knjiga Tvrdi uvez
common.buy 152.97 €
Menopause to Matrimony Shelly Hickman / Knjiga Meki uvez
common.buy 9.37 €
Every Place Is Holy Ground: When Religion Is Not Enough Richard Venus / Knjiga Meki uvez
common.buy 14.72 €
Soups & Sides for Every Season Alyce Morgan / Knjiga Meki uvez
common.buy 16.64 €
Carmen's Song Michael Harris / Knjiga Meki uvez
common.buy 12.30 €
Forestville Penny Hutten / Knjiga Meki uvez
common.buy 19.57 €
Warcraft Daniel Wallace / Knjiga Tvrdi uvez
common.buy 32.08 €
Smart Face Thomas Goodman / Knjiga Meki uvez
common.buy 14.72 €
Forbidden Music Michael Haas / Knjiga Meki uvez
common.buy 20.68 €
War and the City G. J. Ashworth / Knjiga Tvrdi uvez
common.buy 275.87 €
Negotiation of Personal Identity Meena Dhanda / Knjiga Meki uvez
common.buy 81.93 €
Autumn Susan M. Felch / Knjiga Meki uvez
common.buy 14.22 €
12 Principles to Wellness Eleanor R / Knjiga Meki uvez
common.buy 9.88 €
Four Girls and A Compact Annie Hamilton Donnell / Knjiga Meki uvez
common.buy 11.70 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?