Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, říjen 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Kniha Brožovaná
common.buy 409 Kč
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Kniha Brožovaná
common.buy 794 Kč
Het oog der liefde Kent / Audiokniha MP3
common.buy 173 Kč
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Kniha Brožovaná
common.buy 196 Kč
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Kniha Brožovaná
common.buy 471 Kč
Petite Terreur ou souffre-douleur Stéphane Bourcet / Kniha Brožovaná
common.buy 687 Kč
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Kniha Brožovaná
common.buy 577 Kč
Potencial de Croacia como destino turístico para el mercado ruso / Kniha Brožovaná
common.buy 813 Kč
Vežovníček Marta Hlušíková; Alena Wagnerová / Kniha Pevná
common.buy 168 Kč
Jakobsweg ist uberall Olaf Behrens / Kniha Brožovaná
common.buy 337 Kč
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Kniha Brožovaná
common.buy 385 Kč
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Kniha Brožovaná
common.buy 343 Kč
Oberwallis Roland Nanzer / Kniha Pevná
common.buy 838 Kč
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Kniha Brožovaná
common.buy 409 Kč
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Kniha Brožovaná
common.buy 369 Kč
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Kniha Brožovaná
common.buy 1 187 Kč
Schumann-Handbuch Ulrich Tadday / Kniha Pevná
common.buy 732 Kč
Die Strafgewalt der Kirche. Wilhelm Rees / Kniha Brožovaná
common.buy 2 150 Kč
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Kniha Brožovaná
common.buy 341 Kč
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 167 Kč

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 pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Integrated Formal Methods
Autor Dominique Méry, Stephan Merz
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 337
EAN 9783642162640
ISBN 3642162649
Libristo kód 01656785
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 528
Rozměry 155 x 235 x 19

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Knight of the White Cross George Alfred Henty / Kniha Brožovaná
common.buy 368 Kč
To Duel With the Hands of God James R Elliott / Kniha Brožovaná
common.buy 358 Kč
Coffee Table Conversations Tina Divina / Kniha Brožovaná
common.buy 469 Kč
Multivariate Statistical Analysis V.I. Serdobolskii / Kniha Brožovaná
common.buy 2 357 Kč
Miscellanies Upon Various Subjects John Aubrey / Kniha Brožovaná
common.buy 308 Kč
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Kniha Brožovaná
common.buy 489 Kč
Alpha Jasinda Wilder / Kniha Brožovaná
common.buy 441 Kč
How to Analyze People Ryan James / Kniha Brožovaná
common.buy 423 Kč
Demographic Masculinization of China Isabelle Attané / Kniha Pevná
common.buy 1 182 Kč
Transcending Textuality Ariadna Garcia Bryce / Kniha Brožovaná
common.buy 1 113 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

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

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?