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 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.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.59 €
Skladom u dodávateľa Odosielame za 5-8 dní

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.86 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Kniha Brožovaná
common.buy 32.70 €
Het oog der liefde Kent / Audiokniha MP3
common.buy 7.16 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Kniha Brožovaná
common.buy 8.07 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Kniha Brožovaná
common.buy 19.38 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Kniha Brožovaná
common.buy 28.36 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Kniha Brožovaná
common.buy 23.82 €
Potencial de Croacia como destino turístico para el mercado ruso / Kniha Brožovaná
common.buy 35.63 €
Vežovníček Marta Hlušíková; Alena Wagnerová / Kniha Pevná
common.buy 6.45 €
Jakobsweg ist uberall Olaf Behrens / Kniha Brožovaná
common.buy 14.73 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Kniha Brožovaná
common.buy 16.85 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Kniha Brožovaná
common.buy 15.14 €
Oberwallis Roland Nanzer / Kniha Pevná
common.buy 34.52 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Kniha Brožovaná
common.buy 17.86 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Kniha Brožovaná
common.buy 16.15 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Kniha Brožovaná
common.buy 51.79 €
Schumann-Handbuch Ulrich Tadday / Kniha Pevná
common.buy 31.90 €
Die Strafgewalt der Kirche. Wilhelm Rees / Kniha Brožovaná
common.buy 93.89 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Kniha Brožovaná
common.buy 14.02 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 6.86 €

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ť

Knight of the White Cross George Alfred Henty / Kniha Brožovaná
common.buy 16.15 €
To Duel With the Hands of God James R Elliott / Kniha Brožovaná
common.buy 14.73 €
Coffee Table Conversations Tina Divina / Kniha Brožovaná
common.buy 19.38 €
Multivariate Statistical Analysis V.I. Serdobolskii / Kniha Brožovaná
common.buy 102.78 €
Miscellanies Upon Various Subjects John Aubrey / Kniha Brožovaná
common.buy 13.52 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Kniha Brožovaná
common.buy 21.40 €
Alpha Jasinda Wilder / Kniha Brožovaná
common.buy 17.05 €
How to Analyze People Ryan James / Kniha Brožovaná
common.buy 17.46 €
Demographic Masculinization of China Isabelle Attané / Kniha Pevná
common.buy 51.59 €
Transcending Textuality Ariadna Garcia Bryce / Kniha Brožovaná
common.buy 45.93 €

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
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?