Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Integrated Formal Methods

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integrated Formal Methods Dominique Méry
Libristo kód: 01656785
Nakladateľstvo 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... Celý popis
? points 125 b
51.78 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Kniha Brožovaná
common.buy 17.93 €
Jesus von Nazareth - Die Miniserie, 1 Blu-ray Franco Zeffirelli / Video Blu-ray
common.buy 23.50 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Kniha Brožovaná
common.buy 8.10 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Kniha Brožovaná
common.buy 28.06 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Kniha Brožovaná
common.buy 32.83 €
Potencial de Croacia como destino turístico para el mercado ruso / Kniha Brožovaná
common.buy 35.76 €
Het oog der liefde Kent / Audiokniha MP3
common.buy 7.19 €
Vežovníček Marta Hlušíková; Alena Wagnerová / Kniha Pevná
common.buy 6.37 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Kniha Brožovaná
common.buy 19.45 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Kniha Brožovaná
common.buy 23.91 €
Diamonds Marilyn Monroe / Audio Audio CD
common.buy 6.27 €
Jakobsweg ist uberall Olaf Behrens / Kniha Brožovaná
common.buy 14.79 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Kniha Brožovaná
common.buy 16.91 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Kniha Brožovaná
common.buy 15.19 €
Oberwallis Roland Nanzer / Kniha Pevná
common.buy 34.45 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Kniha Brožovaná
common.buy 17.93 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Kniha Brožovaná
common.buy 51.98 €
Schumann-Handbuch Ulrich Tadday / Kniha Pevná
common.buy 32.02 €
Die Strafgewalt der Kirche. Wilhelm Rees / Kniha Brožovaná
common.buy 113.09 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 6.88 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Integrated Formal Methods
Autor Dominique Méry, Stephan Merz
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2010
Počet strán 337
EAN 9783642162640
ISBN 3642162649
Libristo kód 01656785
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 528
Rozmery 155 x 235 x 19

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

The French Defeat of 1940: Reassessment Joel Blatt / Kniha Pevná
common.buy 157.48 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Kniha Brožovaná
common.buy 21.48 €
Alpha Jasinda Wilder / Kniha Brožovaná
common.buy 16.00 €
To Duel With the Hands of God James R Elliott / Kniha Brožovaná
common.buy 14.79 €
Coffee Table Conversations Tina Divina / Kniha Brožovaná
common.buy 19.45 €
Through Thine Eyes - The Spiritually Inspirational Journey of God Moving in My Life: Prayers and Meditations Geraldine Renee' Walker / Kniha Brožovaná
common.buy 18.43 €
In Folly's Shade John Welch / Kniha Brožovaná
common.buy 16.21 €
Multivariate Statistical Analysis V.I. Serdobolskii / Kniha Brožovaná
common.buy 103.16 €
How to Analyze People Ryan James / Kniha Brožovaná
common.buy 17.52 €
Asclepius Christopher M. Rutledge / Kniha Brožovaná
common.buy 10.63 €
Miscellanies Upon Various Subjects John Aubrey / Kniha Brožovaná
common.buy 13.57 €
Knight of the White Cross George Alfred Henty / Kniha Brožovaná
common.buy 16.21 €
Urdg 758: Uniform Rules for Demand Guarantees Search and Check Publishers / Kniha Brožovaná
common.buy 18.33 €
Demographic Masculinization of China Isabelle Attané / Kniha Pevná
common.buy 51.78 €
Transcending Textuality Ariadna Garcia Bryce / Kniha Brožovaná
common.buy 46.10 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet