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

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integrated Formal Methods Eerke A. Boiten
Libristo kód: 01559229
Nakladateľstvo Springer, Berlin, november 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Celý popis
? points 125 b
51.83 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio Audio CD
common.buy 18.56 €
200 MOTELS (2 CD) Frank Zappa / Audio Audio CD
common.buy 11.66 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Kniha Brožovaná
common.buy 17.44 €
Matematika 4 - 2. diel - Zošit pre učiteľa / Kniha Brožovaná
common.buy 11.66 €
Hitlers Rache Friedrich-Wilhelm von Hase / E-kniha Adobe ePub DRM
common.buy 10.95 €
Rettungswege mit Konzept Josef Mayr / Kniha Brožovaná
common.buy 102.96 €
Telemedizin Karolina Budych / E-kniha Adobe ePub DRM
common.buy 28.60 €
Lukittu Unkuri / Audiokniha MP3
common.buy 9.63 €
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Kniha Pevná
common.buy 8.41 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Kniha Brožovaná
common.buy 51.22 €
Prípad Caravaggio Daniel Silva / Kniha Pevná
common.buy 12.27 €
Miraculous-X-mas Box-Hörspiele / Audio Audio CD
common.buy 14.90 €
Simulieren Und Entscheiden Michael Resch / Kniha Brožovaná
common.buy 53.25 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Kniha Brožovaná
common.buy 26.98 €
Equilibra tus chakras con cristales: Energía y curación CARMEN DE LA TORRE PEÑA / Kniha Brožovaná
common.buy 32.76 €
Streichquartett Nr. 1 Isang Yun / Kniha List
common.buy 65.32 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Kniha Brožovaná
common.buy 61.67 €
Lebensbeschreibungen Kaiser Ludwigs des Frommen Julius von Jasmund / Kniha Brožovaná
common.buy 22.41 €
Totschlager Emil (Ü: Franz Blei) Zola / Kniha Brožovaná
common.buy 17.95 €
Psychiatrie Wolfgang Frank / Kniha Brožovaná
common.buy 52.95 €

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

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 Eerke A. Boiten, John Derrick, Graeme Smith
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2004
Počet strán 548
EAN 9783540213772
ISBN 3540213775
Libristo kód 01559229
Nakladateľstvo Springer, Berlin
Váha 820
Rozmery 156 x 234 x 28

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

AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Kniha Brožovaná
common.buy 14.50 €
Moroccan Cookbook: Traditional Moroccan Recipes Made Easy Grizzly Publishing / Kniha Brožovaná
common.buy 15.21 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Kniha Pevná
common.buy 194.17 €
Underestimated HENRY D SOKOLSKI / Kniha Brožovaná
common.buy 17.95 €
Key to kid: How I was able to realize my dream ..? Nothim Assange / Kniha Brožovaná
common.buy 26.98 €
His Heart's Queen Georgie Sheldon / Kniha Brožovaná
common.buy 7.70 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Kniha Brožovaná
common.buy 80.24 €
Welsh Calendar Cookbook Gilli Davies / Kniha Brožovaná
common.buy 9.73 €
Top
Better Than the Movies Lynn Painter / Kniha Brožovaná
common.buy 9.93 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Kniha Pevná
common.buy 240.33 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Kniha Brožovaná
common.buy 51.43 €
Coastal Motor Boats Martin Kelly / Kniha Pevná
common.buy 42.19 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Kniha Pevná
common.buy 324.43 €
Memories That Smell like Gasoline David Wojnarowicz / E-kniha Adobe ePub DRM
common.buy 17.34 €
Replacement of Renal Function by Dialysis C. Jacobs / Kniha Pevná
common.buy 439.27 €
Terror in Ireland David Fitzpatrick / Kniha Brožovaná
common.buy 18.45 €
Color Atlas of Thyroid Surgery Youn / Kniha Pevná
common.buy 131.27 €
New York Yankees Matt Christopher / Kniha Brožovaná
common.buy 9.42 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Kniha Brožovaná
common.buy 11.15 €
Anatomy of High Performing Teams Marilyn Laiken / Kniha Brožovaná
common.buy 44.22 €

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