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

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integrated Formal Methods Michael Butler
Libristo kód: 01564333
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, máj 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... 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

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Kniha Pevná
common.buy 109.38 €
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Kniha Brožovaná
common.buy 53.16 €
Rumanische Marchen Mite Kremnitz / Kniha Brožovaná
common.buy 23.28 €
Özel Tüketim Vergisi Kanunu / Kniha Brožovaná
common.buy 15.18 €
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Kniha Brožovaná
common.buy 49.52 €
Divan Ahmed Akir Paa / Kniha Brožovaná
common.buy 18.42 €
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Kniha Brožovaná
common.buy 28.35 €
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Kniha Brožovaná
common.buy 61.37 €
Mein Gestern Manfred Jurgensen / Kniha Brožovaná
common.buy 15.18 €
Apokalypse Adrienne von Speyr / Kniha Pevná
common.buy 39.39 €
Neocortext Vojtěch Němec / Kniha Brožovaná
common.buy 7.28 €
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Kniha Brožovaná
common.buy 17.51 €

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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 Butler, Luigia Petre, Kaisa Sere
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2002
Počet strán 401
EAN 9783540437031
ISBN 3540437037
Libristo kód 01564333
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1280
Rozmery 155 x 235 x 23

Kategórie

Výpočtové a informačné technológie > Informatika > Umelá inteligencia > Strojové učenie
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
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ť

Biotechnology Fundamentals Khan / Kniha Brožovaná
common.buy 95.60 €
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Kniha Brožovaná
common.buy 53.67 €
Spawn: Origins Deluxe Edition 3 Brian Holguin / Kniha Pevná
common.buy 70.58 €
Sufism Alexander Knysh / Kniha Brožovaná
common.buy 29.56 €
Frankissstein Jeanette Winterson / Kniha Brožovaná
common.buy 12.75 €
Melchizedek: Unmasked Baal Kadmon / Kniha Brožovaná
common.buy 14.07 €
Aesop's Fables Santore Charles / Kniha Pevná
common.buy 13.97 €
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Kniha Brožovaná
common.buy 31.89 €
The Critical Care Pocket Guide Sergio Niosi / Kniha Brožovaná
common.buy 10.02 €
Konohana Kitan, Volume 2 Sakuya Amano / E-kniha Adobe ePub DRM
common.buy 7.69 €
Destroyer of the gods Larry W. Hurtado / E-kniha Adobe ePub DRM
common.buy 35.03 €
The Last Song of Penelope NORTH CLAIRE / Kniha Brožovaná
common.buy 14.78 €
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Kniha Brožovaná
common.buy 11.33 €
Crazy Sexy Diet Kris Carr / Kniha Brožovaná
common.buy 22.88 €
Essential David Bohm Lee Nichol / Kniha Brožovaná
common.buy 57.01 €
Collected Short Stories Aldous Huxley / Kniha Brožovaná
common.buy 21.26 €
Political Thought and the Public Sphere in Tanzania Emma Hunter / Kniha Pevná
common.buy 121.73 €
Pandora's Box Trilogy Adam Teachout / Kniha Brožovaná
common.buy 18.42 €
Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Kniha Brožovaná
common.buy 7.89 €
Dark Magic Christine Feehan / Kniha Brožovaná
common.buy 13.97 €

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