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 12.99 zł Punkt DPD 13.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 ▸
487.01 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Sanssouci Andreas Maier / Książka Miękka
common.buy 46.41 zł
The Armoured Dark Megan E. O'Keefe / Książka Miękka
common.buy 46.00 zł
El Bravo V1: Novela (1854) Fenimore Cooper / Książka Miękka
common.buy 104.60 zł
TOP
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Książka Twarda
common.buy 114.77 zł
Schriften zur Kritik und Literaturgeschichte Michael Bernays / Książka Miękka
common.buy 113.86 zł
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Książka Miękka
common.buy 119.00 zł
Zazi a dva vrazi Zuzana Kuzmová / Książka Miękka
common.buy 23.75 zł
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Książka Miękka
common.buy 61.51 zł
Die Brüder Karamasow Fjodor M. Dostojewskij / Książka Miękka
common.buy 76.61 zł
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Gra/Zabawka Zabawka
common.buy 53.76 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 656.26 zł
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Książka Miękka
common.buy 41.47 zł
Cell Motility Peter Lenz / Książka Twarda
common.buy 656.26 zł
Handbook of Reagents for Organic Synthesis Set I 4V ST Robert M. Coates / Książka Twarda
common.buy 5 281.34 zł
Educational Assessment in the 21st Century Claire Wyatt-Smith / Książka Twarda
common.buy 746.87 zł
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Książka Twarda
common.buy 874.64 zł
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Książka Twarda
common.buy 91.92 zł
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Książka Miękka
common.buy 38.45 zł
My Own Thoughts Wendy Deaton / Książka Miękka
common.buy 41.98 zł
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Książka Miękka
common.buy 146.59 zł
On Antisemitism Jewish Voice for Peace / Książka Miękka
common.buy 67.15 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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?