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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio Audio CD
common.buy 429 Kč
200 MOTELS (2 CD) Frank Zappa / Audio Audio CD
common.buy 582 Kč
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Kniha Brožovaná
common.buy 420 Kč
Matematika 4 - 2. diel - Zošit pre učiteľa / Kniha Brožovaná
common.buy 334 Kč
Hitlers Rache Friedrich-Wilhelm von Hase / E-kniha Adobe ePub DRM
common.buy 266 Kč
Rettungswege mit Konzept Josef Mayr / Kniha Brožovaná
common.buy 2 345 Kč
Telemedizin Karolina Budych / E-kniha Adobe ePub DRM
common.buy 692 Kč
Lukittu Unkuri / Audiokniha MP3
common.buy 232 Kč
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Kniha Pevná
common.buy 244 Kč
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Kniha Brožovaná
common.buy 1 237 Kč
Prípad Caravaggio Daniel Silva / Kniha Pevná
common.buy 383 Kč
Miraculous-X-mas Box-Hörspiele / Audio Audio CD
common.buy 360 Kč
Simulieren Und Entscheiden Michael Resch / Kniha Brožovaná
common.buy 1 214 Kč
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Kniha Brožovaná
common.buy 651 Kč
Equilibra tus chakras con cristales: Energía y curación CARMEN DE LA TORRE PEÑA / Kniha Brožovaná
common.buy 790 Kč
Streichquartett Nr. 1 Isang Yun / Kniha List
common.buy 1 556 Kč
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Kniha Brožovaná
common.buy 1 400 Kč
Lebensbeschreibungen Kaiser Ludwigs des Frommen Julius von Jasmund / Kniha Brožovaná
common.buy 509 Kč
Totschlager Emil (Ü: Franz Blei) Zola / Kniha Brožovaná
common.buy 408 Kč
Psychiatrie Wolfgang Frank / Kniha Brožovaná
common.buy 1 278 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

AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Kniha Brožovaná
common.buy 332 Kč
Moroccan Cookbook: Traditional Moroccan Recipes Made Easy Grizzly Publishing / Kniha Brožovaná
common.buy 366 Kč
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Kniha Pevná
common.buy 4 497 Kč
Underestimated HENRY D SOKOLSKI / Kniha Brožovaná
common.buy 432 Kč
Key to kid: How I was able to realize my dream ..? Nothim Assange / Kniha Brožovaná
common.buy 651 Kč
His Heart's Queen Georgie Sheldon / Kniha Brožovaná
common.buy 186 Kč
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Kniha Brožovaná
common.buy 7 269 Kč
Welsh Calendar Cookbook Gilli Davies / Kniha Brožovaná
common.buy 221 Kč
Top
Better Than the Movies Lynn Painter / Kniha Brožovaná
common.buy 194 Kč
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Kniha Pevná
common.buy 5 507 Kč
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Kniha Brožovaná
common.buy 1 195 Kč
Top
Coastal Motor Boats Martin Kelly / Kniha Pevná
common.buy 950 Kč
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Kniha Pevná
common.buy 7 568 Kč
Memories That Smell like Gasoline David Wojnarowicz / E-kniha Adobe ePub DRM
common.buy 418 Kč
Replacement of Renal Function by Dialysis C. Jacobs / Kniha Pevná
common.buy 10 594 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č
New York Yankees Matt Christopher / Kniha Brožovaná
common.buy 233 Kč
Top
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Kniha Brožovaná
common.buy 263 Kč
Anatomy of High Performing Teams Marilyn Laiken / Kniha Brožovaná
common.buy 954 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?