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

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
Nakladatelství Springer, Berlin, listopad 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Simulieren Und Entscheiden Michael Resch / Kniha Brožovaná
common.buy 1 214 Kč
Lukittu Unkuri / Audiokniha MP3
common.buy 230 Kč
Telemedizin Karolina Budych / E-kniha Adobe ePub DRM
common.buy 691 Kč
Hitlers Rache Friedrich-Wilhelm von Hase / E-kniha Adobe ePub DRM
common.buy 266 Kč
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Kniha Brožovaná
common.buy 425 Kč
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio Audio CD
common.buy 458 Kč
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Kniha Brožovaná
common.buy 1 237 Kč
Miraculous-X-mas Box-Hörspiele / Audio Audio CD
common.buy 366 Kč
Psychiatrie Wolfgang Frank / Kniha Brožovaná
common.buy 1 284 Kč
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Kniha Brožovaná
common.buy 651 Kč
Streichquartett Nr. 1 Isang Yun / Kniha List
common.buy 1 586 Kč
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Kniha Pevná
common.buy 206 Kč
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Kniha Brožovaná
common.buy 1 400 Kč
Totschlager Emil (Ü: Franz Blei) Zola / Kniha Brožovaná
common.buy 409 Kč

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 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 Eerke A. Boiten, John Derrick, Graeme Smith
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2004
Počet stran 548
EAN 9783540213772
ISBN 3540213775
Libristo kód 01559229
Nakladatelství Springer, Berlin
Váha 820
Rozměry 156 x 234 x 28

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

Welsh Calendar Cookbook Gilli Davies / Kniha Brožovaná
common.buy 221 Kč
Memories That Smell like Gasoline David Wojnarowicz / E-kniha Adobe ePub DRM
common.buy 416 Kč
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Kniha Pevná
common.buy 4 472 Kč
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Kniha Brožovaná
common.buy 332 Kč
Key to kid: How I was able to realize my dream ..? Nothim Assange / Kniha Brožovaná
common.buy 651 Kč
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Kniha Brožovaná
common.buy 1 823 Kč
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Kniha Pevná
common.buy 4 968 Kč
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Kniha Brožovaná
common.buy 1 180 Kč
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Kniha Pevná
common.buy 7 827 Kč
Replacement of Renal Function by Dialysis C. Jacobs / Kniha Pevná
common.buy 2 551 Kč
Terror in Ireland David Fitzpatrick / Kniha Brožovaná
common.buy 446 Kč
Color Atlas of Thyroid Surgery Youn / Kniha Pevná
common.buy 2 991 Kč
Anatomy of High Performing Teams Marilyn Laiken / Kniha Brožovaná
common.buy 1 014 Kč
New York Yankees Matt Christopher / Kniha Brožovaná
common.buy 227 Kč
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Kniha Brožovaná
common.buy 270 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?