Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

FME 2003: Formal Methods

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga FME 2003: Formal Methods Keijiro Araki
Libristo kod: 01562991
Nakladnici Springer, Berlin, studeni 2002
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Cijeli opis
? points 264 b
108.92 €
Vanjske zalihe u manjem broju Šaljemo za 13-18 dana

Do 30 dana za povrat

Kupci su kupili i

The Armoured Dark Megan E. O'Keefe / Knjiga Meki uvez
common.buy 11.29 €
El Bravo V1: Novela (1854) Fenimore Cooper / Knjiga Meki uvez
common.buy 29.64 €
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Knjiga Tvrdi uvez
common.buy 26.92 €
Zazi a dva vrazi Zuzana Kuzmová / Knjiga Meki uvez
common.buy 5.24 €
Schriften zur Kritik und Literaturgeschichte Michael Bernays / Knjiga Meki uvez
common.buy 26.72 €
Muse Moderne Sermet-J / Knjiga Meki uvez
common.buy 13.51 €
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Knjiga Meki uvez
common.buy 27.83 €
Untersuchungen Zur Entwicklung Eines Verfahrens Zum Nachweis Von Wand- Bzw. Mauerdicke Und Gefugeschaden Bei Tunnel- Und Schachtauskleidungen Heinrich Baule / Knjiga Meki uvez
common.buy 52.94 €
Sanssouci Andreas Maier / Knjiga Meki uvez
common.buy 10.28 €
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Knjiga Meki uvez
common.buy 14.41 €
Die Brüder Karamasow Fjodor M. Dostojewskij / Knjiga Meki uvez
common.buy 19.56 €
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Igra/Igračka Igračka
common.buy 12.60 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv FME 2003: Formal Methods
Autor Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2003
Broj stranica 946
EAN 9783540408284
ISBN 3540408282
Libristo kod 01562991
Nakladnici Springer, Berlin
Težina 1200
Dimenzije 155 x 235 x 48

Kategorija

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Use of Microcomputers in Geology Hans Kürzl / Knjiga Tvrdi uvez
common.buy 153.91 €
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Knjiga Tvrdi uvez
common.buy 21.58 €
On Antisemitism Jewish Voice for Peace / Knjiga Meki uvez
common.buy 15.73 €
Lying Game Ruth Ware / Knjiga Meki uvez
common.buy 7.96 €
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Knjiga Meki uvez
common.buy 34.38 €
My Own Thoughts Wendy Deaton / Knjiga Meki uvez
common.buy 9.87 €
Neural Information Processing Long Cheng / Knjiga Meki uvez
common.buy 51.53 €
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Knjiga Meki uvez
common.buy 8.97 €
Confidence & Assertive Skills for Women Angelina Williams / Knjiga Meki uvez
common.buy 15.73 €
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Knjiga Tvrdi uvez
common.buy 205.15 €
Educational Assessment in the 21st Century Claire Wyatt-Smith / Knjiga Tvrdi uvez
common.buy 167.22 €
Handbook of Reagents for Organic Synthesis Set I 4V ST Robert M. Coates / Knjiga Tvrdi uvez
common.buy 1 263.53 €
Cell Motility Peter Lenz / Knjiga Tvrdi uvez
common.buy 153.91 €
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Knjiga Meki uvez
common.buy 9.67 €
Pripremamo
Procol Harum: The Ghosts of a Whiter Shade of Pale Henry Scott Irvine / Knjiga Tvrdi uvez
common.buy 29.85 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?