[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

Sprache EnglischEnglisch
Buch Broschur
Buch FME '97 Industrial Applications and Strengthened Foundations of Formal Methods John Fitzgerald
Libristo-Code: 05274760
Verlag Springer, Berlin, November 1996
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal... Vollständige Beschreibung
? points 349 b
139.23 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

DEMNÄCHST
Kakuro for Kids 2 Alastair Chisholm / Broschur
common.buy 5.34 €
Karteikarten-Box zum Lehrwerk Harald Weisshaar / Spiel
common.buy 18.15 €
Lawyers' Skills Webb / Broschur
common.buy 72.64 €
Tempting the Gods Tanith Lee / Hardcover
common.buy 37.62 €
Stories, Theories and Things Christine Brooke-Rose / Hardcover
common.buy 147.70 €
Auf schmalen Pfaden durchs Hinterland Matsuo Basho / Hardcover
common.buy 25.22 €
Greenland's Icy Fury Wallace R Hansen / Hardcover
common.buy 61.94 €
Digitale Rechenanlagen Horst Kunsemüller / Broschur
common.buy 55.48 €
Inductive Logic Programming Stephen Muggleton / Broschur
common.buy 70.52 €
Finn Finnegan Darby Karchut / Broschur
common.buy 10.89 €
American Writers Supplement 1 Part 1 L Unger / Hardcover
common.buy 225.19 €
Dreiviertelmond Mona Bräuer / Blu-ray
common.buy 14.12 €
First Light Rebecca Stead / Broschur
common.buy 10.08 €
Media and Memory Joanne Garde-Hansen / Broschur
common.buy 40.25 €

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

Informationen zum Buch

Vollständiger Name FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
Autor John Fitzgerald, Cliff B. Jones, Peter Lucas
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1997
Anzahl der Seiten 694
EAN 9783540635338
ISBN 3540635335
Libristo-Code 05274760
Verlag Springer, Berlin
Gewicht 1057
Abmessungen 156 x 234 x 35

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto