phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Integrated Formal Methods

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, října 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Připravujeme
Stealing Fire Steven Kotler / Pevná
common.buy 626 Kč
Trénink obou polovin mozku Allen D. Bragdon / Brožovaná
common.buy 163 Kč
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Brožovaná
common.buy 261 Kč
Schumann-Handbuch Ulrich Tadday / Pevná
common.buy 853 Kč
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video
common.buy 167 Kč
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Brožovaná
common.buy 578 Kč
Coffee Table Conversations Tina Divina / Brožovaná
common.buy 543 Kč
Die Strafgewalt der Kirche. Wilhelm Rees / Brožovaná
common.buy 2 495 Kč
Jakobsweg ist uberall Olaf Behrens / Brožovaná
common.buy 590 Kč
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Brožovaná
common.buy 1 330 Kč
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Brožovaná
common.buy 683 Kč
Multivariate Statistical Analysis V.I. Serdobolskii / Brožovaná
common.buy 3 037 Kč
Knight of the White Cross George Alfred Henty / Brožovaná
common.buy 912 Kč
Miscellanies Upon Various Subjects John Aubrey / Brožovaná
common.buy 767 Kč
Oberwallis Roland Nanzer / Pevná
common.buy 868 Kč
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Brožovaná
common.buy 899 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.

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

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