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 FoxPost 1 190 Ft Packeta 1 190 Ft DPD gyűjtőpont 990 Ft GLS futár 1 690 Ft GLS pont 1 190 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

10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Integrated Formal Methods Einar Broch Johnsen
Libristo kód: 01663776
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, május 2013
This book constitutes the refereed proceedings of the 10th International Conference on Integrated Fo... Teljes leírás
? points 136 b
19 940 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

Éléments de culture générale - 100 'colles' et sujets pour les prépas et les oraux des concours Dumont / Könyv Puha kötésű
common.buy 11 026 Ft
Dançando tango em Istambul Melis Merih Kiliç / Könyv Puha kötésű
common.buy 17 300 Ft
Manuel de communication non verbale appliquée - Le modèle de recours à la force évolué et les indices de menace Rossin-Arthiat / Könyv Puha kötésű
common.buy 15 082 Ft
Hamarosan
Crimson Spell. Bd.5 Ayano Yamane / Könyv Puha kötésű
common.buy 3 302 Ft
Kunst Des 18. Jahrhunderts Edmond de Goncourt / Könyv Puha kötésű
common.buy 15 596 Ft
Mallorca a mitjan segle XV : el sindicat i l'alçament for? / Könyv Puha kötésű
common.buy 12 642 Ft
Meine täglichen Übungen in Mathematik - 10. Schuljahr. H.3 Karlheinz Lehmann / Könyv Lap
common.buy 4 126 Ft
EINE KLEINE NACHTMUSIK KV 525 WOLFGANG AMADEUS MOZ Könyv binding.
common.buy 4 098 Ft
Totenbuch DES Mainzer Dominikanerklosters Isnard W. Frank / Könyv Kemény kötésű
common.buy 45 904 Ft
La biblia del ayurveda : guía definitiva de la sanación ayurvédica Anne McIntyre / Könyv Puha kötésű
common.buy 7 576 Ft
Rivalen unter roter Sonne, 1 Blu-ray Terence Young / Filmek Blu-ray
common.buy 4 918 Ft
Recht und Energie Peter Rosin / Könyv Kemény kötésű
common.buy 76 490 Ft
Die Geschichte von der 1002. Nacht, 8 Audio-CD Joseph Roth / Hanganyagok Audio CD
common.buy 14 374 Ft

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. §The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

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ő Einar Broch Johnsen, Luigia Petre
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2013
Oldalszám 443
EAN 9783642386121
ISBN 3642386121
Libristo kód 01663776
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 700
Méretek 155 x 235 x 26

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
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é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

Space groups (156) P3m1-(148) R-3 Pierre Villars / Könyv Kemény kötésű
common.buy 202 014 Ft
Progressive Development Arie S. Issar / Könyv Puha kötésű
common.buy 39 764 Ft
Safety of historical stone arch bridges Pieter Van Gelder / Könyv Puha kötésű
common.buy 38 972 Ft
Mentalizing in Arts Therapies Marianne Verfaille / Könyv Kemény kötésű
common.buy 75 434 Ft
Toplistás
Stalin Edvard Radzinsky / Könyv Puha kötésű
common.buy 6 460 Ft
Blaze and Thunderbolt C. W. Anderson / Könyv Puha kötésű
common.buy 3 288 Ft
Inside Gitmo Gordon Cucullu / Könyv Puha kötésű
common.buy 8 224 Ft
Meetings with Remarkable Women Lenore Friedman / Könyv Puha kötésű
common.buy 11 308 Ft
Guided Highlighted Reading: A Close-Reading Strategy for Navigating Complex Text Elaine M. Weber / Könyv Puha kötésű
common.buy 8 474 Ft
Free Thoughts on Despotic and Free Governments Joseph Townsend / Könyv Kemény kötésű
common.buy 13 202 Ft
365 Worksheets - Find Predecessor and Successor of 3 Digit Numbers: Math Practice Workbook Kapoo Stem / Könyv Puha kötésű
common.buy 5 696 Ft
Racism, Culture, Markets John Gabriel / Könyv Kemény kötésű
common.buy 103 964 Ft
Snapshots of Lisa: A Candid Look at Down Syndrome and Snippets of Lisa's Life Angee Barcus / Könyv Puha kötésű
common.buy 4 992 Ft
Value of Systems and Complexity Sciences for Healthcare JOACHIM P STURMBERG / Könyv Puha kötésű
common.buy 39 764 Ft
Tocqueville Khaled Mattawa / Könyv Puha kötésű
common.buy 5 154 Ft
Exponential Families of Stochastic Processes Uwe Küchler / Könyv Kemény kötésű
common.buy 59 588 Ft
Learn Power BI Greg Deckler / Könyv Puha kötésű
common.buy 17 194 Ft
Awakening Power Sat Dharma / Könyv Puha kötésű
common.buy 6 168 Ft
Broadtube Music Mag - Volume 28: Music Mag 28 Olamide Ayodeji Kolade / Könyv Puha kötésű
common.buy 3 964 Ft
Dangerous Language ? Esperanto under Hitler and Stalin Humphrey Tonkin / Könyv Puha kötésű
common.buy 45 038 Ft
Global Business Strategy Cornelis A. de Kluyver / Könyv Puha kötésű
common.buy 11 336 Ft
Of Lands High and Low Martha Keyes / Könyv Puha kötésű
common.buy 5 006 Ft
Anji's Story (Individual stories from WISH YOU WERE HERE!, Book 6) Lynn Russell / E-könyv Adobe ePub DRM
common.buy 2 334 Ft
Fly ash for water and wastewater treatment Md. Ahmaruzzaman / Könyv Puha kötésű
common.buy 15 226 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?