Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 01558768
Price: 107.29 EUR
Availability: InStock
Author: Jin Song Dong
ISBN: 9783540204619

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Jin Song Dong

Jim Woodcock

Sprache

Englisch

Buch Broschur

Libristo-Code: 01558768

Verlag Springer, Berlin, November 2002

This book constitutes the refereed proceedings of the 5th International Conference on Formal Enginee... Vollständige Beschreibung

Libristo-Code: 01558768

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Un Regalo para el Alma 3 Jose Maria Ventura

Broschur

15.39 €

La sala de lo penal MUNILLA PETREÑAS

Broschur

14.19 €

Soleil d'or CLERGEOT-L

Broschur

27.09 €

Diccionario de jugadores del Real Madrid ENRIQUE MARCOS

Broschur

29.89 €

Juwelen aus El Moryas Schatzhaus El Morya

Broschur

16.50 €

Wittgenstein et la question du livre Guest

Broschur

32.39 €

Mini livre à gratter - Dinosaures Duddek

Broschur

12.99 €

Aria - Tome 40 - Carnet de voyage Weyland Michel

Hardcover

20.69 €

Wise Man's Grandchild 12 Shunsuke Ogata

Broschur

7.50 €

Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg

Broschur

8.00 €

Jméno-objev a zmizení věci Antonín Mokrejš

Broschur

10.59 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Methods and Software Engineering

Autor Jin Song Dong, Jim Woodcock

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2003

Anzahl der Seiten 682

EAN 9783540204619

ISBN 354020461X

Libristo-Code 01558768

Verlag Springer, Berlin

Gewicht 966

Abmessungen 155 x 235 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 > 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