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.99 €

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-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560735
Price: 53.79 EUR
Availability: InStock
Author: Martin Steffen
ISBN: 9783540261810

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Martin Steffen

Gianluigi Zavattaro

Sprache

Englisch

Buch Broschur

Libristo-Code: 01560735

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2005

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

Libristo-Code: 01560735

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Biológia II. Dr. Szerényi Gábor

Hardcover

31.09 €

Pamietnik czarnego noska Janina Porazinska

Broschur

3.39 €

Sci fuoripista. Manuale di tecniche di discesa Alessandro Fattori

Broschur

9.99 €

Dna moczanowa Dieta i jadlospisy dla smakoszy Marcin Majewski

Broschur

16.19 €

Rainbow High - Carnet de mode (éd. 2024)

Buch

12.39 €

Estetický prožitek Vlastimil Zuska

Broschur

12.29 €

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). §The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification 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 Martin Steffen, Gianluigi Zavattaro

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 326

EAN 9783540261810

ISBN 3540261818

Libristo-Code 01560735

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1060

Abmessungen 155 x 235 x 19

Kategorie

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

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

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