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 V

Name: Formal Methods for Open Object-Based Distributed Systems V
Brand: Springer, Berlin
SKU: 02181632
Price: 101.79 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

249 b

101.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

L'educazione alla comunicazione come campo di intervento sociale Filomena Bomfim

Broschur

48.39 €

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

Broschur

25.99 €

House of Night - Gejagt P. C. Cast

Broschur

16.00 €

L''incantesimo dell''oscurità Jessica Raven

Adobe ePub DRM

3.09 €

Seit heute, aber für immer Maja Haderlap

Hardcover

24.00 €

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

Broschur

10.49 €

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

Broschur

54.99 €

Islamstunde. Bd.5 Jonas El-Halawany

Broschur

18.79 €

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

Broschur

13.19 €

Lectio Divina 16 Do Listu do Rzymian 2 Innocenzo Gargano

Broschur

4.29 €

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

Broschur

22.29 €

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

Broschur

8.90 €

L Apparition D. Van Cauwelaert

Broschur

9.59 €

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

Broschur

12.79 €

La muerte del padre/ My Struggle Karl Ove Knausgaard

Broschur

16.59 €

My Mom is Awesome (Greek book for kids) Shelley Admont

Hardcover

25.99 €

Revue IF n°36 Boute

Broschur

13.79 €

La nube Olga (letra cursiva) Costa

Broschur

10.79 €

capitaine Trafalgar Andre Laurie

Broschur

24.89 €

Vše je na svém místě Oliver Sacks

Hardcover

10.69 €

Capital et ideologie Thomas Piketty

Broschur

26.99 €

Serial Mom, 1 Blu-ray Janice Hampton

Blu-ray

14.60 €

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

binding.

2.59 €

Introducing Eddy And The Falcons REMASTERED & EXPA Wizzard

Audio CD

23.29 €

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