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 :-(

Formal Methods for Open Object-Based Distributed Systems IV, 1

Name: Formal Methods for Open Object-Based Distributed Systems IV, 1
Brand: Springer, Berlin
SKU: 02016690
Price: 214.29 EUR
Availability: InStock
Author: Scott F. Smith
ISBN: 9781475710182

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6 8, 2000, Stanford, California, USA

Scott F. Smith

Carolyn L. Talcott

Sprache

Englisch

Buch Broschur

Libristo-Code: 02016690

Verlag Springer, Berlin, August 2012

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields... Vollständige Beschreibung

Libristo-Code: 02016690

524 b

214.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Pensiero Umano, Intelligenza Artificiale Luigi Resta

Broschur

15.69 €

Dejiny slovenskej literárnej fantastiky Miloš Ferko

Broschur

4.69 €

Lauran kevatlukukausi Ikola

MP3

5.79 €

Kommunalrecht Martin Burgi

Broschur

26.19 €

Vun der Long op d'Zong Goerens

Hardcover

28.29 €

Verfassungs- und Menschenrechtsbeschwerde gegen richterliche Entscheidungen. Ekkehard Schumann

Broschur

89.90 €

Dzieci Szóstego Słońca. W co wierzy Meksyk wyd. 2021 Ola Synowiec

Broschur

7.59 €

Vom Elfenbeinturm Ins Rampenlicht Beatrice Dernbach

Broschur

44.49 €

MARCHE DU SEXE Rubin Buch

Broschur

29.59 €

Markgräflerland Wolfgang Abel

Broschur

24.00 €

Der Deutsche Wortschatz Nach Sachgruppen Alfred Gerstenkorn

Hardcover

123.99 €

Evaluacion de la sintomatologia emocional y conductual en escolares Rosalba Angulo Rincón

Broschur

55.89 €

Tagaktive Zwerggeckos der Gattung Lygodactylus Beate Röll

Broschur

24.80 €

Promesa de Sabiduria en los Profetas Mayores Sr Jorge a Leignadier

Broschur

9.79 €

Sourozenecké konstelace Kevin Leman

Broschur

12.19 €

mort dans le theatre d''aime cesaire et de wole soyinka Lamarana Diallo

Broschur

110.59 €

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. §Papers in this volume focus on the following specific technologies: §components; §mobile code; §Java®; §The Unified Modeling Language (UML); §refinement of specifications; §types and subtyping; §temporal and probabilistic systems. This volume comprises the proceedings of the Fourth International Workshop on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), which was sponsored by the International Federation for Information Processing (IFIP) and held in Stanford, California, USA, in September 2000.

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 IV, 1

Autor Scott F. Smith, Carolyn L. Talcott

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 432

EAN 9781475710182

ISBN 1475710186

Libristo-Code 02016690

Verlag Springer, Berlin

Gewicht 658

Abmessungen 155 x 235 x 22

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmiertechniken

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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

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

EDV und Informationstechnologie > Computersicherheit > Kryptografie, Verschlüsselungstechnologie

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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

Das könnte Sie auch interessieren

Problem of War Edmund Silberner

Hardcover

138.29 €

Five Innovations That Changed Human History Robin Derricourt

Broschur

33.29 €

The Hundred Years' War 50minutes

Broschur

14.19 €

Bronte BBC Radio Drama Collection Charlotte Brontë

MP3

14.69 €

RETURNING FROM THE TOMB CHANT JOHN CASKEN

Noten

8.49 €

The Elimination Diet Cookbook: 110 Easy, Allergen-Free Recipes to Identify Food Sensitivities Amanda Foote

Broschur

14.99 €

Overcoming Perfectionism (16pt Large Print Edition) Roz Shafran

Broschur

43.59 €

digest of the reported and unreported cases James Gray Stevens

Broschur

32.69 €

Do or Diner Christine Wenger

Broschur

7.89 €

Meditations on the Letters of Paul Herold Weiss

Broschur

12.69 €

The mistakes of the heart: or, memoirs of Lady Carolina Pelham and Lady Victoria Nevil. In a series of letters. Published by M. Treyssac de Vergy, ... Pierre Henri Treyssac de Vergy

Broschur

20.99 €