[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

Applied Formal Methods - FM-Trends 98

Sprache EnglischEnglisch
Buch Broschur
Buch Applied Formal Methods - FM-Trends 98 Dieter Hutter
Libristo-Code: 01567090
Verlag Springer, Berlin, November 1998
This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho... Vollständige Beschreibung
? points 177 b
70.50 € 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

Dan Young Nebezpečí odjinud Jaroslav Velinský / Broschur
common.buy 6.65 €
Literarisches Lernen im Anfangsunterricht Anja Pompe / Broschur
common.buy 19.97 €
Effects of Acid Precipitation on Terrestrial Ecosystems Thomas C. Hutchinson / Hardcover
common.buy 133.15 €
Computer Science and Its Applications Abdelmalek Amine / Broschur
common.buy 119.53 €
Gods Mercy Mixed with His Justice John Cotton / Hardcover
common.buy 46.19 €
Nanoscaled Semiconductor-on-Insulator Structures and Devices Steve Hall / Hardcover
common.buy 276.39 €
Human Cell Transformation Johng S. Rhim / Hardcover
common.buy 214.05 €
Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J / Broschur
common.buy 30.86 €
Laber - Rynstetten Wolfgang Stammler / Hardcover
common.buy 181.53 €

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshopon Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

Informationen zum Buch

Vollständiger Name Applied Formal Methods - FM-Trends 98
Autor Dieter Hutter, Werner Stephan, Paolo Traverso
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1999
Anzahl der Seiten 384
EAN 9783540664628
ISBN 3540664629
Libristo-Code 01567090
Verlag Springer, Berlin
Gewicht 564
Abmessungen 156 x 234 x 20

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 > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
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