A rendelés állapotának ellenőrzése
LIBRISTO
LIBROAMANTO
kötelező
Elfelejtett jelszó
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt. Ingyenes regisztráció
0
Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén
DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft
phone Kapcsolat phoneHogyan vásároljunk
Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Automated Technology for Verification and Analysis

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Automated Technology for Verification and Analysis Deepak D'Souza
Libristo kód: 18124989
Kiadó Springer International Publishing AG, október 2017
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec... Teljes leírás
? points 136 b
20 494 Ft
Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Callia l'Ateniese Giovanni Marginesu / Könyv Kemény kötésű
common.buy 24 644 Ft
Nouvelle Bibliothèque Junior - Allgemeine Ausgabe - A2+ Bernard Friot / Könyv Puha kötésű
common.buy 3 879 Ft
Toplistás
Colores MARTIN MARTINEZ / Könyv Kemény kötésű
common.buy 1 585 Ft
Foukni a rozsviť - Hurá, sněží! Maria Hoeck / Könyv Leporelló
common.buy 4 935 Ft
Aaltje Nieuw Nederlandsch Kookboek: Achtfiende Geheel Opnieuw Bewerkte Druk Van aaltje De Volmaakte En Zuinige Keukenmeid.... O. A. Corver / Könyv Kemény kötésű
common.buy 12 450 Ft
Scialpinismo in Svizzera italiana e tedesca. 66 itinerari scelti tra Canton Grigioni, Svitto, Ticino e Uri Andrea Giussani / Könyv Puha kötésű
common.buy 12 993 Ft
Genetika pri neprawil'nom prikuse Punit Batra / Könyv Puha kötésű
common.buy 12 783 Ft
parfum des iles Borromees René Boylesve / Könyv Kemény kötésű
common.buy 8 933 Ft
LA PIEGE - THE TRAP ICKE DAVID / Könyv Könyv
common.buy 10 337 Ft
Heartburn Ursula Ga?l / Könyv Puha kötésű
common.buy 4 574 Ft
Feldzüge des Prinzen Eugen von Savoyen / Könyv Puha kötésű
common.buy 39 045 Ft
Hamarosan
Les chiens de guerre de l'Amérique / Könyv Puha kötésű
common.buy 11 080 Ft
Leben Taten Und Meinungen Des Sehr Beruhmten Russischen Detektivs Maximow Heinrich Lautensack / Könyv Kemény kötésű
common.buy 7 153 Ft
Weiter deutsch extra 2. Język niemiecki. Szkoła podstawowa klasa 8. Podręcznik Marta Kozubska / Könyv Puha kötésű
common.buy 5 102 Ft
Možnosť ostrova Michel Houellebecq / Könyv Kemény kötésű
common.buy 6 068 Ft
Marin Perdu En Mer Jouanneau / Könyv Puha kötésű
common.buy 6 639 Ft
UE1 - Physiologie Gay-Queheillard / Könyv Puha kötésű
common.buy 6 777 Ft
Voytek Kurtyka - L'Art de la liberté Bernadette Mcdonald / Könyv Kemény kötésű
common.buy 24 282 Ft
Histoire de l'abolition de la peine de mort 200 ans de combats Jean-Yves Le Naour / Könyv Puha kötésű
common.buy 10 566 Ft
PIXEL MATHS TERM S OBLIG PROF Jean-Pierre Bouvier / Könyv Puha kötésű
common.buy 9 599 Ft
Tchisso ou le révolté Ngako sebastien / Könyv Puha kötésű
common.buy 5 597 Ft
Sicilia Nel 1876 ... Libro Primo. (L. F. Condizioni Politiche E Amministrative. Libro Secondo. S. Sonnino. I Contadini.). Leopoldo Franchetti / Könyv Puha kötésű
common.buy 10 594 Ft
vagabundito Maira Leticia Rivera Pinto / Könyv Puha kötésű
common.buy 3 379 Ft
Homöopathie Highlights. Tl.1, 1 Audio-CD Markus Wiesenauer / Hanganyagok Audio CD
common.buy 6 777 Ft

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.

Színésznő & Poliglott
EWA KASP részére
A videó lejátszása
Ewa Kasp
A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Automated Technology for Verification and Analysis
Szerző Deepak D'Souza, K. Narayan Kumar
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2017
Oldalszám 482
EAN 9783319681665
ISBN 3319681664
Libristo kód 18124989
Kiadó Springer International Publishing AG
Súly 7548
Méretek 155 x 235 x 30

Kategória

Technológia, mérnöki tudományok, mezőgazdaság > Elektronikus és kommunikációs gépészet > Villamosmérnöki tudomány > Automata irányítási gépészet
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány
Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció
Számítástechnika és információtechnológia > Számítógéptudomány
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Ezt is ajánljuk

Advances in Culture Theory from Psychological Anthropology Naomi Quinn / Könyv Kemény kötésű
common.buy 58 891 Ft
Ars Rhetorica; or, a Compendium of Rhetoric T. B. / Könyv Kemény kötésű
common.buy 11 713 Ft
Forestville Penny Hutten / Könyv Puha kötésű
common.buy 7 891 Ft
Autumn Susan M. Felch / Könyv Puha kötésű
common.buy 5 749 Ft
I Am Deidra Roach-Quarles / Könyv Puha kötésű
common.buy 4 845 Ft
Carmen's Song Michael Harris / Könyv Puha kötésű
common.buy 4 845 Ft
Soups & Sides for Every Season Alyce Morgan / Könyv Puha kötésű
common.buy 6 582 Ft
Poems from a Secret Garden Fred E Beaulieu / Könyv Puha kötésű
common.buy 4 797 Ft
Every Place Is Holy Ground: When Religion Is Not Enough Richard Venus / Könyv Puha kötésű
common.buy 5 840 Ft
Menopause to Matrimony Shelly Hickman / Könyv Puha kötésű
common.buy 3 727 Ft
Algernon Charles Swinburne Evangelista Maxwell / Könyv Kemény kötésű
common.buy 59 781 Ft
Dr Chester's Spoken English for Chinese Speakers: Numbers Dr Myrvin F Chester / Könyv Puha kötésű
common.buy 4 074 Ft
Baby Animals Coloring Book 3 Nick Snels / Könyv Puha kötésű
common.buy 4 074 Ft
Robin Hood-Freedom's Outlaw I a Watson / Könyv Puha kötésű
common.buy 6 582 Ft
Township Violence and the End of Apartheid Gary Kynoch / Könyv Kemény kötésű
common.buy 51 329 Ft
In and out of My Bed Vivian Wilson / Könyv Puha kötésű
common.buy 6 339 Ft
Toplistás
Liver Cure Russell L. Blaylock / Könyv Kemény kötésű
common.buy 8 695 Ft
Fastitocalon. Studies in Fantasticism Ancient to Modern (VIII, 1 & 2) Lukasz Neubauer / Könyv Puha kötésű
common.buy 9 795 Ft
The Sea-Brownie Reader, Part 2: For Second-Year Classes (1911) John Walter Davis / Könyv Puha kötésű
common.buy 12 074 Ft
Ethical and Legal Issues in Healthcare David Lemberg / Könyv Kemény kötésű
common.buy 99 893 Ft
Towards Sustainable Welfare States in Europe Mi A. Schoyen / Könyv Kemény kötésű
common.buy 57 954 Ft
Technique in Jungian Analysis Michael Fordham / E-könyv Adobe ePub DRM
common.buy 28 284 Ft
Fire in the Streets Douglas R. Groothuis / E-könyv Adobe ePub DRM
common.buy 6 111 Ft
The Edinburgh History of the British and Irish Press: Volumes 1-3 David Finkelstein / Könyv Kemény kötésű
common.buy 262 993 Ft

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása
Libroamiko könyvtanácsadó
Szia, Libroamiko vagyok, segíthetek?