Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

FME 2003: Formal Methods

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

Język AngielskiAngielski
Książka Miękka
Książka FME 2003: Formal Methods Keijiro Araki
Kod Libristo: 01562991
Wydawnictwo Springer, Berlin, listopad 2002
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Cały opis
? points 277 b
Gwarancja
najlepszej
ceny ▸
495.75 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Schriften zur Kritik und Literaturgeschichte Michael Bernays / Książka Miękka
common.buy 115.86 zł
The Armoured Dark Megan E. O'Keefe / Książka Miękka
common.buy 46.71 zł
Zazi a dva vrazi Zuzana Kuzmová / Książka Miękka
common.buy 24.17 zł
Zapowiedź
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Gra/Zabawka Zabawka
common.buy 54.49 zł
Fotbal / Gra/Zabawka Gra
common.buy 45.58 zł
El Bravo V1: Novela (1854) Fenimore Cooper / Książka Miękka
common.buy 128.77 zł
TOP
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Książka Twarda
common.buy 116.78 zł
Sanssouci Andreas Maier / Książka Miękka
common.buy 46.09 zł
Muse Moderne Sermet-J / Książka Miękka
common.buy 55.62 zł
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Książka Miękka
common.buy 120.88 zł
Die Brüder Karamasow Fjodor M. Dostojewskij / Książka Miękka
common.buy 77.95 zł
Untersuchungen Zur Entwicklung Eines Verfahrens Zum Nachweis Von Wand- Bzw. Mauerdicke Und Gefugeschaden Bei Tunnel- Und Schachtauskleidungen Heinrich Baule / Książka Miękka
common.buy 229.58 zł
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Książka Miękka
common.buy 62.59 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa FME 2003: Formal Methods
Autor Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Język Angielski
Oprawa Książka - Miękka
Data wydania 2003
Liczba stron 946
EAN 9783540408284
ISBN 3540408282
Kod Libristo 01562991
Wydawnictwo Springer, Berlin
Waga 1200
Wymiary 155 x 235 x 48

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Systemy operacyjne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Use of Microcomputers in Geology Hans Kürzl / Książka Twarda
common.buy 667.76 zł
Zapowiedź
Procol Harum: The Ghosts of a Whiter Shade of Pale Henry Scott Irvine / Książka Twarda
common.buy 129.49 zł
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Książka Twarda
common.buy 93.53 zł
Confidence & Assertive Skills for Women Angelina Williams / Książka Miękka
common.buy 68.12 zł
Neural Information Processing Long Cheng / Książka Miękka
common.buy 223.54 zł
Lying Game Ruth Ware / Książka Miękka
common.buy 34.52 zł
On Antisemitism Jewish Voice for Peace / Książka Miękka
common.buy 68.32 zł
Security in Next Generation Mobile Networks: SAE/LTE and Wimax Seo Seung-Woo / Książka Twarda
common.buy 567.97 zł
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Książka Miękka
common.buy 149.16 zł
My Own Thoughts Wendy Deaton / Książka Miękka
common.buy 42.71 zł
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Książka Miękka
common.buy 39.13 zł
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Książka Twarda
common.buy 889.97 zł
Educational Assessment in the 21st Century Claire Wyatt-Smith / Książka Twarda
common.buy 760.17 zł
Handbook of Reagents for Organic Synthesis Set I 4V ST Robert M. Coates / Książka Twarda
common.buy 5 483.01 zł
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Książka Miękka
common.buy 42.20 zł
Cell Motility Peter Lenz / Książka Twarda
common.buy 667.76 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo