Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Techniques for Networked and Distributed Systems - FORTE 2002

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

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Techniques for Networked and Distributed Systems - FORTE 2002 Doron A. Peled
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
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le sacre des impies Ghislain Gilberti / Buch Broschur
common.buy 29.69 €
L'Arc de triomphe de l'Étoile Dominique Fernandes / Buch Broschur
common.buy 12.99 €
Course à pied. S’entrainer à la sensation Billat / Buch Broschur
common.buy 25.89 €
Pociąg do Imperium Maja Wolny / Buch Broschur
common.buy 13.99 €
Libanon. Religionen: 1 : 350.000. (Lebanon. Religions) Hartmann Drucksachen Karte
common.buy 51.59 €
Vorlesungen über neuere Geometrie Moritz Pasch / Buch Broschur
common.buy 17.89 €
Die sterbliche Seele der Freiheit Marco Buschmann / Buch Hardcover
common.buy 31.99 €
JE SUIS GROSSE KONIG MARINA / Buch Broschur
common.buy 23.69 €
Mystische Vollmondnächte (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 31.99 €
Narozena pod toulavou hvězdou Zuzana Kulhánková / Buch Hardcover
common.buy 7.59 €
Realita vesmíru Jan Blažej / Buch Broschur
common.buy 5.69 €
Chancen und Grenzen der Beschulung von SuS mit Schadel-Hirn-Trauma Fabio Priano / Buch Broschur
common.buy 17.95 €
Anlagenrecht Martin Kind / Buch Broschur
common.buy 40.19 €
Ewalds Mathespielwiese Ewald Gronewold / Buch Broschur
common.buy 22.90 €
68 chansons d'Amour: Textes de chansons Stephane Ternoise / Buch Broschur
common.buy 13.39 €
Lesen und Schreiben 1700 bis 1900 Alfred Messerli / Buch Hardcover
common.buy 247.79 €
Befristete Arbeitsverträge nach russischem und deutschem Recht Alexander Reinhardt / Buch Broschur
common.buy 56.00 €
La serpiente emplumada D. H. Lawrence / Buch Broschur
common.buy 36.09 €
Armin Heinrich Hofmann / Buch Broschur
common.buy 12.90 €

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
Ewa Kasp
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

Das könnte Sie auch interessieren

Globalization, Economic Growth and Innovation Dynamics Paul J. J. Welfens / Buch Hardcover
common.buy 107.29 €
Image Processing, Analysis and Machine Vision Milan Sonka / Buch Broschur
common.buy 107.29 €
Lloyd George: The Man And His Story Frank Dilnot / Buch Hardcover
common.buy 41.59 €
Last Chance to See Douglas Adams / Buch Broschur
common.buy 14.99 €
Surfing on the Internet J. C. Herz / Buch Broschur
common.buy 19.59 €
Catalogue of the Technical Reference Library of works on printing and the allied arts / Buch Hardcover
common.buy 52.59 €
Kintsugi Wellness Candice Kumai / Buch Hardcover
common.buy 24.39 €
Transitions from Care to Independence DRISCOLL / Buch Hardcover
common.buy 231.49 €
Professor and Mrs. Whats-A-Ma-Call-It Go to London James Christopher Jackson / Buch Hardcover
common.buy 25.09 €
Dean's Demise Richard Fletcher / Buch Broschur
common.buy 21.99 €
K9 Explosive and Mine Detection Resi Gerritsen / Buch Broschur
common.buy 31.19 €
examination of the Rev. Mr. John Wesley's Primitive physic John Wesley / Buch Broschur
common.buy 13.19 €
Complex Dimensions Brenda Murphy / Buch Broschur
common.buy 13.49 €
Evidence of Guilt: A Kali O'Brien Mystery Jonnie Jacobs / Buch Broschur
common.buy 13.59 €
Egg Art Katya Trischuk / Buch Broschur
common.buy 11.39 €
Where Are the Donuts? ROGER ELLSWORTH / Buch Broschur
common.buy 11.19 €
Demnächst
A1 Movers 3 Audio CDs / Audio Audio CD
common.buy 19.79 €
Grammar Choices for Graduate and Professional Writers Nigel A. Caplan / Buch Broschur
common.buy 31.09 €
Demnächst
Egon Schiele Jane Kallir / Buch Hardcover
common.buy 27.89 €
Raven, the Dove, and the Owl of Minerva Mark Glouberman / Buch Hardcover
common.buy 98.29 €
The Empath's Self-Care Journal: 52 Weeks of Prompts, Practices, and Positive Affirmations to Help You Thrive Mishka Clavijo Kimball / Buch Broschur
common.buy 11.89 €
Teleportation Accident Ned Beauman / Buch Broschur
common.buy 12.49 €
Assessment Issues in Child Neuropsychology Michael G. Tramontana / Buch Broschur
common.buy 113.19 €
Environmental Adaptations and Stress Tolerance of Plants in the Era of Climate Change Parvaiz Ahmad / Buch Hardcover
common.buy 209.99 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?