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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01658113
Price: 61.25 EUR
Availability: InStock
Author: Roberto Bruni
ISBN: 9783642214608

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

Roberto Bruni

Juergen Dingel

Sprache

Englisch

Buch Broschur

Libristo-Code: 01658113

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2011

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on F... Vollständige Beschreibung

Libristo-Code: 01658113

148 b

61.25 €

Externes Lager Wir versenden in 9-15 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Gâteaux trompe-l'oeil ! Emily Misson

Hardcover

33.81 €

Comedias Escogidas De Frey Lope Felix De Vega Carpio: Lo Que Ha De Ser. El Molino. La Dama Melindrosa. Los Locos De Valencia Lope De Vega

Hardcover

42.12 €

Povyshenie stressoustojchivosti uchitelya posredstvom formirovaniya SGM Andrej Rudakov

Broschur

24.19 €

El Derecho de la publicidad en Chile MARTABIT SAGREDO

Broschur

46.87 €

Mio marito Maud Ventura

Broschur

21.66 €

Krowa Matylda i zaginiona paczka Alexander Steffensmeier

Hardcover

8.39 €

Bracelet Agate Crazy Lace Perles rondes 8 mm

binding.

5.76 €

Nordsee, 20 Postkarten

Spielzeug

15.89 €

Plonger Christophe Ono-dit-Biot

Broschur

13.15 €

O Sasance Jiří Černický

Hardcover

9.71 €

UEber Die Metallgehalte in Den Schlacken Des Bleischachtofenprozesses Und Ihr Verhalten Im Elektrischen Feld Helmut Winterhager

Broschur

53.15 €

Inhibition de la D position Des Sels Insolubles Touhami Lanez

Broschur

35.74 €

Elementare Schiffahrtkunde Friedrich Gerhard Bolte

Broschur

26.82 €

Agrarelite, Diktatur und Neoliberalismus Judith Haferland

Broschur

34.01 €

Debitorenrating Grit S. Becker

Broschur

47.28 €

Täglich 5 Minuten Sprachförderung. Bd.2 Lily Gleuwitz

Blatt

23.79 €

Gruppenbesteuerung Hubert W Fuchs

Broschur

31.28 €

Livia Drusilla - Iulia Augusta: Kaiserin und Kaisermutter Ute Bartelt

Broschur

16.19 €

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.

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 Systems

Autor Roberto Bruni, Juergen Dingel

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2011

Anzahl der Seiten 349

EAN 9783642214608

ISBN 3642214606

Libristo-Code 01658113

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

Gewicht 547

Abmessungen 155 x 235 x 23

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

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

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

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

Das könnte Sie auch interessieren

Delivered but not Healed: Exploring the Need for Emotional and Psychological Healing Marcia Dixon-Haye

Broschur

16.60 €

365 James Robertson

Broschur

21.25 €

King and the Adulteress Roberto Speziale-Bagliacca

Hardcover

72.70 €

Damage from a Recent Storm John E Harper

Broschur

9.71 €

Elsworth F. Baker, Kenneth M. Bremmer, Philip Gold, et al., Petitioners, V. United States of America. U.S. Supreme Court Transcript of Record with Sup William W Goodrick

Broschur

27.74 €