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.

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha FME 2003: Formal Methods Keijiro Araki
Libristo kód: 01562991
Nakladatelství Springer, Berlin, listopad 2002
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Celý popis
? points 265 b
2 646 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

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

Zákazníci také koupili

The Armoured Dark Megan E. O'Keefe / Kniha Brožovaná
common.buy 244 Kč
El Bravo V1: Novela (1854) Fenimore Cooper / Kniha Brožovaná
common.buy 685 Kč
Top
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Kniha Pevná
common.buy 612 Kč
Zazi a dva vrazi Zuzana Kuzmová / Kniha Brožovaná
common.buy 130 Kč
Schriften zur Kritik und Literaturgeschichte Michael Bernays / Kniha Brožovaná
common.buy 610 Kč
Muse Moderne Sermet-J / Kniha Brožovaná
common.buy 311 Kč
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Kniha Brožovaná
common.buy 643 Kč
Untersuchungen Zur Entwicklung Eines Verfahrens Zum Nachweis Von Wand- Bzw. Mauerdicke Und Gefugeschaden Bei Tunnel- Und Schachtauskleidungen Heinrich Baule / Kniha Brožovaná
common.buy 1 214 Kč
Sanssouci Andreas Maier / Kniha Brožovaná
common.buy 264 Kč
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Kniha Brožovaná
common.buy 329 Kč
Die Brüder Karamasow Fjodor M. Dostojewskij / Kniha Brožovaná
common.buy 410 Kč
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Hra/Hračka Hračka
common.buy 287 Kč

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003.§The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

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 FME 2003: Formal Methods
Autor Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2003
Počet stran 946
EAN 9783540408284
ISBN 3540408282
Libristo kód 01562991
Nakladatelství Springer, Berlin
Váha 1200
Rozměry 155 x 235 x 48

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
Výpočetní a informační technologie > Operační systémy
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

Use of Microcomputers in Geology Hans Kürzl / Kniha Pevná
common.buy 3 532 Kč
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Kniha Pevná
common.buy 491 Kč
On Antisemitism Jewish Voice for Peace / Kniha Brožovaná
common.buy 358 Kč
Lying Game Ruth Ware / Kniha Brožovaná
common.buy 201 Kč
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Kniha Brožovaná
common.buy 794 Kč
My Own Thoughts Wendy Deaton / Kniha Brožovaná
common.buy 224 Kč
Neural Information Processing Long Cheng / Kniha Brožovaná
common.buy 1 182 Kč
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Kniha Brožovaná
common.buy 206 Kč
Confidence & Assertive Skills for Women Angelina Williams / Kniha Brožovaná
common.buy 362 Kč
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Kniha Pevná
common.buy 4 707 Kč
Educational Assessment in the 21st Century Claire Wyatt-Smith / Kniha Pevná
common.buy 4 059 Kč
Handbook of Reagents for Organic Synthesis Set I 4V ST Robert M. Coates / Kniha Pevná
common.buy 28 901 Kč
Cell Motility Peter Lenz / Kniha Pevná
common.buy 3 532 Kč
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Kniha Brožovaná
common.buy 221 Kč
Připravujeme
Procol Harum: The Ghosts of a Whiter Shade of Pale Henry Scott Irvine / Kniha Pevná
common.buy 682 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?