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

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
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, květen 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Kniha Pevná
common.buy 2 505 Kč
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Kniha Brožovaná
common.buy 1 214 Kč
Rumanische Marchen Mite Kremnitz / Kniha Brožovaná
common.buy 529 Kč
Özel Tüketim Vergisi Kanunu / Kniha Brožovaná
common.buy 348 Kč
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Kniha Brožovaná
common.buy 1 198 Kč
Divan Ahmed Akir Paa / Kniha Brožovaná
common.buy 445 Kč
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Kniha Brožovaná
common.buy 685 Kč
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Kniha Brožovaná
common.buy 1 484 Kč
Mein Gestern Manfred Jurgensen / Kniha Brožovaná
common.buy 346 Kč
Apokalypse Adrienne von Speyr / Kniha Pevná
common.buy 895 Kč
Neocortext Vojtěch Němec / Kniha Brožovaná
common.buy 177 Kč
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 423 Kč

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 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 Michael Butler, Luigia Petre, Kaisa Sere
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2002
Počet stran 401
EAN 9783540437031
ISBN 3540437037
Libristo kód 01564333
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1280
Rozměry 155 x 235 x 23

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Strojní učení
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

Biotechnology Fundamentals Khan / Kniha Brožovaná
common.buy 2 311 Kč
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Kniha Brožovaná
common.buy 1 296 Kč
Spawn: Origins Deluxe Edition 3 Brian Holguin / Kniha Pevná
common.buy 1 594 Kč
Sufism Alexander Knysh / Kniha Brožovaná
common.buy 714 Kč
Frankissstein Jeanette Winterson / Kniha Brožovaná
common.buy 308 Kč
Melchizedek: Unmasked Baal Kadmon / Kniha Brožovaná
common.buy 340 Kč
Aesop's Fables Santore Charles / Kniha Pevná
common.buy 292 Kč
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Kniha Brožovaná
common.buy 772 Kč
The Critical Care Pocket Guide Sergio Niosi / Kniha Brožovaná
common.buy 242 Kč
Konohana Kitan, Volume 2 Sakuya Amano / E-kniha Adobe ePub DRM
common.buy 187 Kč
Destroyer of the gods Larry W. Hurtado / E-kniha Adobe ePub DRM
common.buy 846 Kč
The Last Song of Penelope NORTH CLAIRE / Kniha Brožovaná
common.buy 334 Kč
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Kniha Brožovaná
common.buy 257 Kč
Crazy Sexy Diet Kris Carr / Kniha Brožovaná
common.buy 521 Kč
Essential David Bohm Lee Nichol / Kniha Brožovaná
common.buy 1 379 Kč
Collected Short Stories Aldous Huxley / Kniha Brožovaná
common.buy 513 Kč
Political Thought and the Public Sphere in Tanzania Emma Hunter / Kniha Pevná
common.buy 2 941 Kč
Pandora's Box Trilogy Adam Teachout / Kniha Brožovaná
common.buy 446 Kč
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 191 Kč
Dark Magic Christine Feehan / Kniha Brožovaná
common.buy 337 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?