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

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Techniques for Distributed Objects, Components, and Systems

Name: Formal Techniques for Distributed Objects, Components, and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02668867
Price: 53.79 EUR
Availability: InStock
Author: Catuscia Palamidessi
ISBN: 9783662436127

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, P

Catuscia Palamidessi

Erika Ábrahám

Sprache

Englisch

Buch Broschur

Libristo-Code: 02668867

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2014

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec... Vollständige Beschreibung

Libristo-Code: 02668867

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Det flata racket 1.0 Sam Skogh

Broschur

14.49 €

Hábitos saludables que alargan la vida: ideas y consejos para vivir más y mejor AA. VV.

Broschur

8.49 €

Weltkinderkunde Wolfgang Schad

Broschur

69.00 €

To proste Jerzy Pomianowski

Broschur

10.99 €

Die Ortliche Betaubung Ihre Wissenschaftlichen Grundlagen Und Praktische Anwendung (1921) Heinrich Braun

Broschur

43.59 €

Cookomix spécial apéro

Hardcover

30.69 €

Rázštepy pery a podnebia Radomír Kokavec

Broschur

1.99 €

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.

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 Techniques for Distributed Objects, Components, and Systems

Autor Catuscia Palamidessi, Erika Ábrahám

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2014

Anzahl der Seiten 301

EAN 9783662436127

ISBN 3662436124

Libristo-Code 02668867

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

Gewicht 4803

Abmessungen 155 x 235 x 18

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

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