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

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Integrated Formal Methods Dominique Méry
Libristo kód: 01656785
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, október 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Teljes leírás
? points 136 b
20 201 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

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Könyv Puha kötésű
common.buy 7 065 Ft
Jesus von Nazareth - Die Miniserie, 1 Blu-ray Franco Zeffirelli / Filmek Blu-ray
common.buy 8 571 Ft
Netterův vybarvovací anatomický atlas John T. Hansen / Könyv Puha kötésű
common.buy 7 722 Ft
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Könyv Puha kötésű
common.buy 3 331 Ft
Petite Terreur ou souffre-douleur Stéphane Bourcet / Könyv Puha kötésű
common.buy 10 190 Ft
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Könyv Puha kötésű
common.buy 13 375 Ft
Potencial de Croacia como destino turístico para el mercado ruso / Könyv Puha kötésű
common.buy 14 041 Ft
Het oog der liefde Kent / Hangoskönyv MP3
common.buy 2 618 Ft
Vežovníček Marta Hlušíková; Alena Wagnerová / Könyv Kemény kötésű
common.buy 2 735 Ft
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Könyv Puha kötésű
common.buy 8 229 Ft
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Könyv Puha kötésű
common.buy 8 571 Ft
Diamonds Marilyn Monroe / Hanganyagok Audio CD
common.buy 2 364 Ft
Jakobsweg ist uberall Olaf Behrens / Könyv Puha kötésű
common.buy 5 831 Ft
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Könyv Puha kötésű
common.buy 6 648 Ft
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Könyv Puha kötésű
common.buy 5 981 Ft
Oberwallis Roland Nanzer / Könyv Kemény kötésű
common.buy 12 465 Ft
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Könyv Puha kötésű
common.buy 7 065 Ft
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Könyv Puha kötésű
common.buy 9 462 Ft
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Könyv Puha kötésű
common.buy 20 337 Ft
Schumann-Handbuch Ulrich Tadday / Könyv Kemény kötésű
common.buy 12 512 Ft
Die Strafgewalt der Kirche. Wilhelm Rees / Könyv Puha kötésű
common.buy 44 244 Ft
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Filmek Filmek
common.buy 2 576 Ft

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and 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ő Dominique Méry, Stephan Merz
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2010
Oldalszám 337
EAN 9783642162640
ISBN 3642162649
Libristo kód 01656785
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 528
Méretek 155 x 235 x 19

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
Számítástechnika és információtechnológia > Operációs rendszerek
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

The French Defeat of 1940: Reassessment Joel Blatt / Könyv Kemény kötésű
common.buy 63 093 Ft
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Könyv Puha kötésű
common.buy 8 449 Ft
Alpha Jasinda Wilder / Könyv Puha kötésű
common.buy 6 366 Ft
To Duel With the Hands of God James R Elliott / Könyv Puha kötésű
common.buy 6 024 Ft
Coffee Table Conversations Tina Divina / Könyv Puha kötésű
common.buy 7 853 Ft
Through Thine Eyes - The Spiritually Inspirational Journey of God Moving in My Life: Prayers and Meditations Geraldine Renee' Walker / Könyv Puha kötésű
common.buy 7 544 Ft
In Folly's Shade John Welch / Könyv Puha kötésű
common.buy 6 755 Ft
Multivariate Statistical Analysis V.I. Serdobolskii / Könyv Puha kötésű
common.buy 40 284 Ft
How to Analyze People Ryan James / Könyv Puha kötésű
common.buy 7 168 Ft
Asclepius Christopher M. Rutledge / Könyv Puha kötésű
common.buy 4 372 Ft
Miscellanies Upon Various Subjects John Aubrey / Könyv Puha kötésű
common.buy 5 311 Ft
Knight of the White Cross George Alfred Henty / Könyv Puha kötésű
common.buy 6 352 Ft
Urdg 758: Uniform Rules for Demand Guarantees Search and Check Publishers / Könyv Puha kötésű
common.buy 7 530 Ft
Demographic Masculinization of China Isabelle Attané / Könyv Kemény kötésű
common.buy 20 201 Ft
Transcending Textuality Ariadna Garcia Bryce / Könyv Puha kötésű
common.buy 18 371 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?