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 10.49 € Elta-Stelle 4.49 € Elta 4.99 € ACS 5.49 € Box Now 4.49 € ACS-Stelle 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Name: Formal Techniques for Networked and Distributed Systems - FORTE 2002
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01555972
Price: 48.64 EUR
Availability: InStock
Author: Doron A. Peled
ISBN: 9783540001416

22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Doron A. Peled

Moshe Y. Vardi

Sprache

Englisch

Buch Broschur

Libristo-Code: 01555972

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Oktober 2002

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

Libristo-Code: 01555972

118 b

48.64 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le sacre des impies Ghislain Gilberti

Broschur

27.39 €

L'Arc de triomphe de l'Étoile Dominique Fernandes

Broschur

11.27 €

Communiquer et jouer par signes avec mon enfant Gilles Cotte

Broschur

20.44 €

Pociąg do Imperium Maja Wolny

Broschur

12.28 €

Libanon. Religionen: 1 : 350.000. (Lebanon. Religions) Hartmann Drucksachen

Karte

53.27 €

JE SUIS GROSSE KONIG MARINA

Broschur

21.64 €

Vorlesungen über neuere Geometrie Moritz Pasch

Broschur

16.81 €

Legge, soggetto ed eredità. Lezioni veronesi di psicoanalisi Massimo Recalcati

Broschur

22.95 €

Passeggiata col cane Sven Nordqvist

Hardcover

22.25 €

Deutsche Islam Konferenz Claudia Große

Broschur

39.98 €

Narozena pod toulavou hvězdou Zuzana Kulhánková

Hardcover

7.14 €

Realita vesmíru Jan Blažej

Broschur

5.43 €

100 Tipps für besseres Tauchen Thilo Künneth

Broschur

10.06 €

Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma Fabio Priano

Broschur

16.11 €

Anlagenrecht Martin Kind

Broschur

38.36 €

Ewalds Mathespielwiese Ewald Gronewold

Broschur

20.44 €

Die sterbliche Seele der Freiheit Marco Buschmann

Hardcover

30.31 €

Lesen und Schreiben 1700 bis 1900 Alfred Messerli

Hardcover

237.09 €

Befristete Arbeitsverträge nach russischem und deutschem Recht Alexander Reinhardt

Broschur

49.77 €

La serpiente emplumada D. H. Lawrence

Broschur

34.64 €

Notice Sur Le Venerable de la Salle, Fondateur de l'Institut Des Freres Des Ecoles Chretiennes SANS AUTEUR

Broschur

13.59 €

Armin Heinrich Hofmann

Broschur

11.67 €

ESP Ritu del Siglo: (1838. 272 P.) Francisco Mart Nez De La Rosa

Broschur

24.16 €

This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, held in Houston, Texas, USA in November 2002.The 22 revised full papers, 2 tool papers, and 2 posters presented were carefully reviewed and selected from 61 submissions. All current aspects of formal method for distributed systems and communication protocols are addressed, in particular formal specification, testing, and verification of such systems.

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 Networked and Distributed Systems - FORTE 2002

Autor Doron A. Peled, Moshe Y. Vardi

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 374

EAN 9783540001416

ISBN 3540001417

Libristo-Code 01555972

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

Gewicht 1200

Abmessungen 155 x 235 x 21

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Maschinelles Lernen

EDV und Informationstechnologie > Computerhardware > Netzwerk-Hardware

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation

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