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, Berlin
SKU: 02181632
Price: 107.29 EUR
Availability: InStock
Author: Bart Jacobs
ISBN: 9781475752687

IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20-22, 2002, Enschede, The Netherlands

Bart Jacobs

Arend Rensink

Sprache

Englisch

Buch Broschur

Libristo-Code: 02181632

Verlag Springer, Berlin, März 2013

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

Libristo-Code: 02181632

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

Posca akrylový popisovač 0,7 mm břidlicově šedý

binding.

2.49 €

Introducing Eddy And The Falcons REMASTERED & EXPA Wizzard

Audio CD

25.99 €

Les Habitations Ouvrieres Et l'Intervention Des Pouvoirs Publics CAHEN-SALVADOR-G

Broschur

14.19 €

La Jeune Fille dans le jardin Kamala Nair

Broschur

10.99 €

Seit heute, aber für immer Maja Haderlap

Hardcover

24.00 €

Geologische Und Bodenmechanische Ursachen Von Rutschungen, Gleitungen Und Bodenflie en NA NA

Broschur

55.29 €

Looking For Fish - ငါး ရှာပုံတော် Jovan Carl Segura

Broschur

11.19 €

Nová francúzština pre samoukov Zuzana Puchovská

Broschur

13.29 €

Dictionnaire Topographique Du Département de la Haute-Loire: Comprenant Les Noms de Lieu Anciens Et Modernes Augustin Chassaing

Broschur

27.89 €

Islamstunde. Bd.5 Jonas El-Halawany

Broschur

19.69 €

La nube Olga (letra cursiva) Costa

Broschur

12.39 €

Serial Mom, 1 Blu-ray Janice Hampton

Blu-ray

15.39 €

Landser an der Ostfront - Vorwarts Grenadiere! - Division Grossdeutschland im Angriff Wolfgang Wallenda

Broschur

8.90 €

Manual de Kenjutsu : una guía para todos los artistas marciales José Navarro Parra

Broschur

25.69 €

Lectio Divina 16 Do Listu do Rzymian 2 Innocenzo Gargano

Broschur

5.19 €

La muerte del padre/ My Struggle Karl Ove Knausgaard

Broschur

17.29 €

capitaine Trafalgar Andre Laurie

Broschur

29.59 €

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 - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 284

EAN 9781475752687

ISBN 1475752687

Libristo-Code 02181632

Verlag Springer, Berlin

Gewicht 724

Abmessungen 210 x 15 x 15

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