Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

FME 2003: Formal Methods

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek FME 2003: Formal Methods Keijiro Araki
Libristo-code: 01562991
Uitgeverij Springer, Berlin, november 2002
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Volledige beschrijving
? points 290 b
119.51 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Sanssouci Andreas Maier / Boek Gebonden (paperback)
common.buy 11.51 €
The Armoured Dark Megan E. O'Keefe / Boek Gebonden (paperback)
common.buy 11.51 €
El Bravo V1: Novela (1854) Fenimore Cooper / Boek Gebonden (paperback)
common.buy 29.69 €
TOP
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Boek Gebonden (harde band)
common.buy 26.97 €
Schriften zur Kritik und Literaturgeschichte Michael Bernays / Boek Gebonden (paperback)
common.buy 26.76 €
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Boek Gebonden (paperback)
common.buy 27.98 €
Zazi a dva vrazi Zuzana Kuzmová / Boek Gebonden (paperback)
common.buy 5.55 €
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Boek Gebonden (paperback)
common.buy 14.44 €
Die Brüder Karamasow Fjodor M. Dostojewskij / Boek Gebonden (paperback)
common.buy 17.97 €
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Spel/speelgoed Speelgoed
common.buy 12.62 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam FME 2003: Formal Methods
Auteur Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2003
Aantal pagina's 946
EAN 9783540408284
ISBN 3540408282
Libristo-code 01562991
Uitgeverij Springer, Berlin
Gewicht 1200
Afmetingen 155 x 235 x 48

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Use of Microcomputers in Geology Hans Kürzl / Boek Gebonden (harde band)
common.buy 154.16 €
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Boek Gebonden (paperback)
common.buy 10.40 €
Cell Motility Peter Lenz / Boek Gebonden (harde band)
common.buy 154.16 €
Handbook of Reagents for Organic Synthesis Set I 4V ST Robert M. Coates / Boek Gebonden (harde band)
common.buy 1 238.14 €
Educational Assessment in the 21st Century Claire Wyatt-Smith / Boek Gebonden (harde band)
common.buy 183.36 €
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Boek Gebonden (harde band)
common.buy 205.49 €
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Boek Gebonden (harde band)
common.buy 21.61 €
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Boek Gebonden (paperback)
common.buy 8.98 €
My Own Thoughts Wendy Deaton / Boek Gebonden (paperback)
common.buy 9.89 €
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Boek Gebonden (paperback)
common.buy 34.44 €
On Antisemitism Jewish Voice for Peace / Boek Gebonden (paperback)
common.buy 15.75 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?