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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Methods for Open Object-Based Distributed Systems

Name: Formal Methods for Open Object-Based Distributed Systems
Brand: Springer, Berlin
SKU: 01558784
Price: 50.99 EUR
Availability: InStock
Author: Elie Najm
ISBN: 9783540204916

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings

Elie Najm

Uwe Nestmann

Perdita Stevens

Sprache

Englisch

Buch Broschur

Libristo-Code: 01558784

Verlag Springer, Berlin, November 2002

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Fo... Vollständige Beschreibung

Libristo-Code: 01558784

125 b

50.99 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

EL CRIMEN DE LAS HERMANAS CRUZ De Ganzo

Hardcover

22.49 €

grande libro dei tarocchi Roberto La Paglia

Broschur

22.99 €

Guida di Enna per ragazzi Lietta Valvo Grimaldi

Buch

12.29 €

Speel met mij Anna Katmore

Broschur

12.89 €

Horizons - Fit fürs Abitur, Mündliche Prüfungen, Arbeitsheft m. CD-ROM Christopher Mischke

Blatt

28.19 €

Un réveillon à la montagne Taburet

Broschur

8.99 €

Presagio Andrea Molesini

Broschur

29.89 €

El Penitente: Novela Historica Cubana (1889) Cirilo Villaverde

Broschur

20.29 €

Ernährungstagebuch: A5 Ernährungstagebuch liniert 120 Seiten - Tagebuch - Ernährungstagebuch - Gesunde Ernährung - Abnehmtagebuch Ernahrungs Tagebuch

Broschur

7.39 €

Biblioteca Escolar na Visao dos Estudantes do Curso Pedagogia UFAL Maria Rejane Silva Barros

Broschur

43.99 €

No lo dejes para mañana PAMELA WIEGARTZ

Broschur

23.39 €

Die Letzte Front - Defenders of Riga, 1 Blu-ray Liga Pipare

Blu-ray

15.59 €

Fallschirmpanzerkorps "Hermann Göring" Franz Kurowski

Hardcover

14.95 €

This book constitutes the refereed proceedings of the 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2003, held in Paris, France in November 2003.§The 18 revised full papers presented together with an invited paper were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on models, logic and verification, calculi, Java and .NET, UML, and composition and verification.

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 for Open Object-Based Distributed Systems

Autor Elie Najm, Uwe Nestmann, Perdita Stevens

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2003

Anzahl der Seiten 340

EAN 9783540204916

ISBN 3540204911

Libristo-Code 01558784

Verlag Springer, Berlin

Gewicht 499

Abmessungen 155 x 235 x 18

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)

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

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