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.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, február 2009
This book constitutes the refereed proceedings of the 7th International Conference on Integrated For... Celý popis
? points 125 b
51.75 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Les plus beaux Haras de France Meniel / Kniha Pevná
common.buy 54.99 €
SPIRITUALS FOR ALL HEFT 2 RALF PETERSEN Kniha binding.
common.buy 10.73 €
BEN (cast.) CARE SANTOS TORRES / Kniha Brožovaná
common.buy 13.56 €
Notice Sur l'Ecole Imperiale Centrale Des Arts Et Manufactures Sans Auteur / Kniha Brožovaná
common.buy 14.78 €

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 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 Michael Leuschel, Heike Wehrheim
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2009
Počet strán 367
EAN 9783642002540
ISBN 3642002544
Libristo kód 01649327
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 581
Rozmery 155 x 235 x 21

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 > Architektúra počítača a logic dizajn
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ť

CMOS Hotplate Chemical Microsensors M. Graf / Kniha Pevná
common.buy 103.10 €
Regent Arnold Bennett / Kniha Brožovaná
common.buy 26.83 €
Intelligent Robotics and Applications Honghai Liu / Kniha Brožovaná
common.buy 84.56 €
Transportation and Mobility Technology Futures Hyun Kim / Kniha Brožovaná
common.buy 59.04 €
Pocket Book of Pocket Poems A.F. Harrold / E-kniha Adobe ePub DRM
common.buy 8.09 €
Simple Guide to Bible Study Jack Hay / E-kniha Adobe ePub DRM
common.buy 2.72 €
Masks Margaret Rae / Kniha Brožovaná
common.buy 10.83 €
Walled Garden Robin Farrar Maass / Kniha Brožovaná
common.buy 14.68 €
Lenses And Systems Of Lenses: Treated After The Manner Of Gauss (1884) Charles Pendlebury / Kniha Brožovaná
common.buy 21.16 €
Second April Edna St Vincent Millay / Kniha Pevná
common.buy 31.89 €
African Art Reframed J. R. Osborn / Kniha Brožovaná
common.buy 25.31 €
Top
Ladybird Readers Level 5 - BBC Earth - Little Survivors (ELT Graded Reader) Ladybird / Kniha Brožovaná
common.buy 7.69 €
Poor Jack Frederick Marryat / Kniha Brožovaná
common.buy 14.68 €
Orpington Chickens: From The Book of Poultry Lewis Wright / Kniha Brožovaná
common.buy 9.00 €
Brasseys Eurasian 2002 (P) Ustina Markus / Kniha Brožovaná
common.buy 25.21 €
Essential Civil Society Reader Don E. Eberly / Kniha Brožovaná
common.buy 50.43 €
IEEE 802.11 Handbook - A Designer's Companion 2e Bob OHara / Kniha Brožovaná
common.buy 77.88 €

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ť?