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 futárszolgálat 1 190 Ft Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Postán 1 690 Ft GLS pont 1 390 Ft FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 790 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

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Computer Aided Verification Armin Biere
Libristo kód: 02775219
Kiadó Springer International Publishing AG, augusztus 2014
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verific... Teljes leírás
? points 271 b
39 688 Ft
Beszállítói készleten Küldés 5-8 napon belül

30 nap a termék visszaküldésére

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

Rundreise Kalifornien mit Las Vegas (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo / Naptár/Határidőnapló Naptár
common.buy 7 608 Ft
Harry Potter - Kit de pâtisserie et moules - Fabrique ton Vif d'Or en chocolat ! The Wizarding World / Könyv Kemény kötésű
common.buy 6 508 Ft
DAN DA DAN 14 Yukinobu Tatsu / Könyv Puha kötésű
common.buy 3 254 Ft
Tief ist der Brunnen der Vergangenheit Gerhard Danzer / Könyv Kemény kötésű
common.buy 10 464 Ft
Isola d'Elba e Pianosa Russo William Dello / Könyv Puha kötésű
common.buy 5 731 Ft
Sestra lovca bosoriek Beth Underdown / Könyv Kemény kötésű
common.buy 3 254 Ft
Wir smart 4. Język niemiecki. Szkoła podstawowa. Klasa 7. Smartbuch + kod dostępu praca zbiorowa / Könyv Puha kötésű
common.buy 4 340 Ft
Los frutos siderales MORA ALAMEDA / Könyv Puha kötésű
common.buy 5 306 Ft
Mut ist der Anfang vom Gluck Heike Karen Gurtler / E-könyv Adobe ePub DRM
common.buy 4 677 Ft
Lettere. Testo greco a fronte Platone / Könyv Kemény kötésű
common.buy 18 788 Ft
The Compound Effect Darren Hardy / Könyv Puha kötésű
common.buy 7 400 Ft
Sneaker Obsession Pauwels / Könyv Puha kötésű
common.buy 7 621 Ft
Bates Motel. Season.3, 3 DVDs Vera Farmiga / Filmek DVD
common.buy 8 823 Ft
Einführung in das GmbH-Recht Werner Borns / Könyv Puha kötésű
common.buy 14 379 Ft
Kulturelle Diversitat und die Modeklammer - der Einfluss von kultureller Diversitat auf international agierende Unternehmen in der Modebranche Johannes Lenhard / Könyv Puha kötésű
common.buy 6 637 Ft
Imageanalyse der TSG Ludwigshafen-Friesenheim Sebastian Bronner / Könyv Puha kötésű
common.buy 16 606 Ft
Lessings Werke Gotthold E. Lessing / Könyv Puha kötésű
common.buy 27 597 Ft
Als Vagabund um die Erde Harry Franck / Könyv Puha kötésű
common.buy 24 168 Ft
Untersuchung Des W rmeinhalts, Der W rmeleitf higkeit Und Der Elektrischen Leitf higkeit Von Schmelzkalk Wilhelm Anton Fischer / Könyv Puha kötésű
common.buy 20 447 Ft
Beschaffungsplanung Und Budgetierung Heinz Stark / Könyv Puha kötésű
common.buy 20 447 Ft
25 Jahre Kaiser Wilhelm-Gesellschaft Max Planck / Könyv Puha kötésű
common.buy 20 447 Ft
Betrieb Und Und Bedienung Von Ortsfesten Viertakt-Dieselmaschinen Arthur Balog / Könyv Puha kötésű
common.buy 20 447 Ft
Die Zustimmung der Bundesregierung zu Verträgen der Bundesländer mit auswärtigen Staaten gemäß Art. 32 III GG. Peter Seidel / Könyv Puha kötésű
common.buy 18 201 Ft
Láska moja sa stráca Ján Smrek / Könyv Kemény kötésű
common.buy 5 703 Ft

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.§§The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.

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 Computer Aided Verification
Szerző Armin Biere, Roderick Bloem
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2014
Oldalszám 877
EAN 9783319088662
ISBN 3319088661
Libristo kód 02775219
Kiadó Springer International Publishing AG
Súly 1352
Méretek 155 x 235 x 48

Kategória

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éptudomány > Számítógéptudomány matematikai elmélete
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés
Számítástechnika és információtechnológia > Operációs rendszerek
Számítástechnika és információtechnológia > Számítógépes hálózat és kommunikáció
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

Omega Factor John G. Henning / Könyv Puha kötésű
common.buy 6 318 Ft
British Woodies from the 1920s to the 1950s Colin Peck / Könyv Puha kötésű
common.buy 5 657 Ft
Anti-Death League Kingsley Amis / Könyv Puha kötésű
common.buy 4 090 Ft
How to Read the Chinese Novel David L. Rolston / Könyv Puha kötésű
common.buy 29 460 Ft
Mobilizing India Tejaswini Niranjana / Könyv Puha kötésű
common.buy 14 365 Ft
Moncada Webster Hare Paul Webster Hare / Könyv Puha kötésű
common.buy 6 711 Ft
Hamarosan
Numbers Matching Games and Book KATE NOLAN / Játék Játék
common.buy 3 050 Ft
Shades of Earl Grey Laura Childs / Könyv Puha kötésű
common.buy 2 727 Ft
From the Garden Michael Dahl / Könyv Puha kötésű
common.buy 3 282 Ft
750 Spanish Verbs and Their Uses Zamir / Könyv Puha kötésű
common.buy 11 874 Ft
Censored 1996: The 1996 Project Censored Yearbook Carl Jensen / Könyv Puha kötésű
common.buy 5 380 Ft
Clementine Deliss Clémentine Deliss / Könyv Kemény kötésű
common.buy 6 096 Ft
Kicad - Getting Started in Kicad David Jahshan / Könyv Puha kötésű
common.buy 7 418 Ft
BEAUCHAMP: OR THE WHEEL OF FORTUNE JAMES HOLR FIELDING / Könyv Kemény kötésű
common.buy 14 979 Ft
Criticism of the New Testament Francis Crawford Burkitt / Könyv Kemény kötésű
common.buy 12 442 Ft
The Garret and The Garden Robert Michael Ballantyne / Könyv Puha kötésű
common.buy 2 579 Ft
Every Last Secret A. R. Torre / Könyv Puha kötésű
common.buy 3 605 Ft
Apache Spark Quick Start Guide Shrey Mehrotra / Könyv Puha kötésű
common.buy 13 191 Ft
Complete Works of W.H. Auden W. H. Auden / Könyv Kemény kötésű
common.buy 147 091 Ft
Lost and Found Dara Girard / Könyv Puha kötésű
common.buy 3 577 Ft
How Spitsbergen Heats The World Arnd Bernaerts / Könyv Puha kötésű
common.buy 6 919 Ft
Musculoskeletal Ultrasound for the Rheumatologist George A.W. Bruyn / Könyv Puha kötésű
common.buy 38 898 Ft
100 Number One Hits for Trumpet PETER LAVENDER / Könyv Puha kötésű
common.buy 17 221 Ft
Field Palaeontology Roland Goldring / Könyv Puha kötésű
common.buy 35 246 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?