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

7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integrated Formal Methods Michael Leuschel
Libristo kód: 01649327
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, únor 2009
This book constitutes the refereed proceedings of the 7th 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

Les plus beaux Haras de France Meniel / Kniha Pevná
common.buy 1 329 Kč
SPIRITUALS FOR ALL HEFT 2 RALF PETERSEN Kniha binding.
common.buy 259 Kč
BEN (cast.) CARE SANTOS TORRES / Kniha Brožovaná
common.buy 328 Kč
Notice Sur l'Ecole Imperiale Centrale Des Arts Et Manufactures Sans Auteur / Kniha Brožovaná
common.buy 358 Kč

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.§The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, 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 Michael Leuschel, Heike Wehrheim
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2009
Počet stran 367
EAN 9783642002540
ISBN 3642002544
Libristo kód 01649327
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 581
Rozměry 155 x 235 x 21

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 > Architektura počítače a logic design
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

CMOS Hotplate Chemical Microsensors M. Graf / Kniha Pevná
common.buy 2 357 Kč
Regent Arnold Bennett / Kniha Brožovaná
common.buy 610 Kč
Intelligent Robotics and Applications Honghai Liu / Kniha Brožovaná
common.buy 1 934 Kč
Transportation and Mobility Technology Futures Hyun Kim / Kniha Brožovaná
common.buy 1 428 Kč
Pocket Book of Pocket Poems A.F. Harrold / E-kniha Adobe ePub DRM
common.buy 197 Kč
Simple Guide to Bible Study Jack Hay / E-kniha Adobe ePub DRM
common.buy 66 Kč
Masks Margaret Rae / Kniha Brožovaná
common.buy 244 Kč
Walled Garden Robin Farrar Maass / Kniha Brožovaná
common.buy 354 Kč
Lenses And Systems Of Lenses: Treated After The Manner Of Gauss (1884) Charles Pendlebury / Kniha Brožovaná
common.buy 511 Kč
Second April Edna St Vincent Millay / Kniha Pevná
common.buy 772 Kč
African Art Reframed J. R. Osborn / Kniha Brožovaná
common.buy 613 Kč
Top
Ladybird Readers Level 5 - BBC Earth - Little Survivors (ELT Graded Reader) Ladybird / Kniha Brožovaná
common.buy 161 Kč
Poor Jack Frederick Marryat / Kniha Brožovaná
common.buy 355 Kč
Orpington Chickens: From The Book of Poultry Lewis Wright / Kniha Brožovaná
common.buy 217 Kč
Brasseys Eurasian 2002 (P) Ustina Markus / Kniha Brožovaná
common.buy 576 Kč
Essential Civil Society Reader Don E. Eberly / Kniha Brožovaná
common.buy 1 218 Kč
IEEE 802.11 Handbook - A Designer's Companion 2e Bob OHara / Kniha Brožovaná
common.buy 1 883 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?