Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Formal Methods for Open Object-Based Distributed Systems V

Name: Formal Methods for Open Object-Based Distributed Systems V
Brand: Springer
SKU: 01397198
Price: 107.29 EUR
Availability: InStock
Author: Bart Jacobs
ISBN: 9780792376835

Bart Jacobs

Arend Rensink

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01397198

Verlag Springer, März 2002

Formal Methods for Open Object-Based Distributed Systems V brings together research in three importa... Vollständige Beschreibung

Libristo-Code: 01397198

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Von den Besiegten lernen? Esther-Julia Howell

Adobe ePub DRM

4.49 €

Il est un autre temps Durand

Broschur

24.79 €

Gramatica de la lengua latina; Volume 1 Gregorio Mayans y Siscar

Hardcover

31.79 €

LA CAÇADORA DE MASIES LLORET

Broschur

19.49 €

EinFach Deutsch Unterrichtsmodelle Norbert Schläbitz

Broschur

37.09 €

Det basta fran Equestria - tio korta berattelser Pony

MP3

4.99 €

Sayonara, meine Bücher Kenzaburo Oe

Hardcover

23.89 €

Allgemeine Encyklopädie der Wissenschaften und Künste Ersch

Broschur

32.79 €

Básne SK/CZ 2021 collegium

Broschur

9.49 €

BENVENUTA PANDEMIA ... si fa per dire: Storia prossima dell'umanit? Giuseppe Floridia

Broschur

14.89 €

Hypomineralisation de l'incisive molaire Bhavna Gupta Saraf

Broschur

57.69 €

Trionfi Curtis George William Curtis

Broschur

22.89 €

Der Weltensammler Ilija Trojanow

Broschur

17.00 €

L'Innovation Verte Sophie Boutillier

Broschur

68.59 €

La Conception Morale Et Civique de l'Enseignement Fouillee-A

Broschur

19.09 €

Das Glück, geliebt zu werden (Puzzle) Heike Hultsch

Spiel

35.79 €

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: §Formal methods; §Distributed systems; §Object-based technology.§Such a convergence is representative of recent advances in the field of distributed systems, and provides links between several scientific and technological communities. The wide scope of topics covered in this volume range in subject from UML to object-based languages and calculi and security, and in approach from specification to case studies and verification.§This volume comprises the proceedings of the Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), which was sponsored by the International Federation for Information Processing (IFIP) and held in Enschede, The Netherlands in March 2002.

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 V

Autor Bart Jacobs, Arend Rensink

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2002

Anzahl der Seiten 284

EAN 9780792376835

ISBN 0792376838

Libristo-Code 01397198

Verlag Springer

Gewicht 910

Abmessungen 155 x 235 x 20

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Medizin > Medizin, allgemein

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