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

Integrated Formal Methods

12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Integrated Formal Methods Erika Ábrahám
Libristo kód: 02975401
Kiadó Springer International Publishing AG, május 2016
This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Fo... Teljes leírás
? points 217 b
32 167 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

Uebersetzung von deutschen zusammengesetzten Adjektiven ins Polnische anhand der Romane von Elfriede Jelinek Badstubner-Kizik Camilla Badstubner-Kizik / E-könyv Adobe ePub DRM
common.buy 23 854 Ft
Rosso Sangue - Le cinéma italien des années de plomb Rauger / Könyv Puha kötésű
common.buy 10 719 Ft
Atrás Da Muralha / Könyv Puha kötésű
common.buy 5 729 Ft
BiBiBiber hat da mal 'ne Frage. Sind Dinos wirklich alle tot? Mai Thi Nguyen-Kim / E-könyv Adobe ePub DRM
common.buy 5 935 Ft
Argumentative Strukturen in popularwissenschaftlichen Texten der franzoesischen Zeitschrift Science & Vie Andreas Reimann / Könyv Puha kötésű
common.buy 9 839 Ft
lettera che cade. Jacques Lacan e l'uomo come scarto Bruno Moroncini / Könyv Puha kötésű
common.buy 9 811 Ft
Olcsón
Poutine, maître du jeu ? Baud / Könyv Könyv
common.buy 6 544 Ft
Entre chiens et loups Méndez / Könyv Puha kötésű
common.buy 6 516 Ft
I cinque sensi giocano a nascondino. Il mondo del Signor Acqua Agostino Traini / Könyv Kemény kötésű
common.buy 8 014 Ft
Du matériau à l'architecture László Moholy-Nagy / Könyv Puha kötésű
common.buy 14 028 Ft
Lebedele sălbatice - The Wild Swans (romană - engleză) Ulrich Renz / Könyv Puha kötésű
common.buy 5 238 Ft
AMETS POLITAK IZAN, MAITEA AA VV / Könyv Kemény kötésű
common.buy 3 487 Ft
Isagoge in Die Phanomenologische Apophantik G. Heffernan / Könyv Puha kötésű
common.buy 60 041 Ft
USA King Crimson Hanganyagok Audio CD
common.buy 8 046 Ft
Bleiben Sie im Zweifelsfall moeglichst nuchtern! Hannes Gemba / Könyv Puha kötésű
common.buy 5 327 Ft
Wild Hubert Krenn / Könyv Kemény kötésű
common.buy 5 360 Ft
Bettine von Arnim: Liedkompositionen Paul A Koch / Könyv Puha kötésű
common.buy 5 566 Ft

This book§constitutes the refereed proceedings of the 12th International Conference on Integrated§Formal Methods, IFM 2016, held in Reykjavik, Iceland, in June 2016.§The 33 papers§presented in this volume were carefully reviewed and selected from 99§submissions. They were organized in topical sections named: invited§contributions; program verification; probabilistic systems; concurrency; safety§and liveness; model learning; SAT and SMT solving; testing; theorem proving and§constraint satisfaction; case studies.§

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 Integrated Formal Methods
Szerző Erika Ábrahám, Marieke Huisman
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2016
Oldalszám 538
EAN 9783319336923
ISBN 3319336924
Libristo kód 02975401
Kiadó Springer International Publishing AG
Súly 8248
Méretek 155 x 235 x 29

Kategória

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)
Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű
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
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 Discrete Applied Mathematics and Graph Theory Janez Zerovnik / Könyv Kemény kötésű
common.buy 22 220 Ft
Inhuman Relations Scott Becker / Könyv Puha kötésű
common.buy 7 527 Ft
Championship DNA Gideon Mulinge Mwololo / Könyv Puha kötésű
common.buy 7 527 Ft
Return to Social Justice Jessica Urwin / Könyv Puha kötésű
common.buy 47 586 Ft
Children's songs & nursery rhymes for easy piano. Vol 3. Tomeu Alcover / Könyv Puha kötésű
common.buy 5 729 Ft
A Soldier's Daughter (Illustrated) G. A. Henty / Könyv Puha kötésű
common.buy 2 612 Ft
History of the Fishes of the British Islands Jonathan Couch / Könyv Puha kötésű
common.buy 9 128 Ft
Family Maps of DeKalb County, Alabama, Deluxe Edition Gregory a Boyd J D / Könyv Puha kötésű
common.buy 13 790 Ft
Submissionary Sherryle Kiser Jackson / Könyv Puha kötésű
common.buy 5 757 Ft
WAYSIDE PILLARS, BY THE AUTHOR OF 'THE F EMILY ELIZA ELLIOTT / Könyv Kemény kötésű
common.buy 12 601 Ft
Preparing for Blockade 1885-1914 COBB / Könyv Puha kötésű
common.buy 31 722 Ft
Housekeepers Handy Book Lucia Baxter / Könyv Puha kötésű
common.buy 7 096 Ft
Of Time and Tide Malleus Maleficarum Jr / Könyv Puha kötésű
common.buy 5 149 Ft
International Law Reports E. LauterpachtC. J. Greenwood / Könyv Kemény kötésű
common.buy 79 874 Ft
14 Minutes Alberto Salazar / Könyv Puha kötésű
common.buy 4 957 Ft
Global Legal Pluralism Paul Schiff Berman / Könyv Puha kötésű
common.buy 24 687 Ft
Simple Solutions Ergonomics for Construction Workers - Scholar's Choice Edition Department of Health and Human Services / Könyv Puha kötésű
common.buy 6 399 Ft
Jack Wilshere - Arsenal DNA Joe Jacobs / Könyv Kemény kötésű
common.buy 6 024 Ft
Information Processing in Medical Imaging Alan C. F. Colchester / Könyv Puha kötésű
common.buy 40 195 Ft
Ameno Black: the Lynching of Arliss Black M E Robertson-Hoon / Könyv Puha kötésű
common.buy 6 385 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?