[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Sprache EnglischEnglisch
Buch Broschur
Buch Process Algebra and Probabilistic Methods: Performance Modeling and Verification Holger Hermanns
Libristo-Code: 01564460
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2002
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebr... Vollständige Beschreibung
? points 177 b
70.50 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

TOP
Garden Fairy Alphabet Coloring Book May / Broschur
common.buy 4.23 €
Happy Flower Quilts: 30 Colorful Quilts, Charming Bags and Cheerful Gifts Atsuko Matsuyama / Broschur
common.buy 27.93 €
My Dad Is Brilliant Nick Butterworth / Leporello
common.buy 9.07 €
Refugee Boy Benjamin Zephaniah / Broschur
common.buy 19.26 €
News - The Televised Revolution Monika Huber / Hardcover
common.buy 16.84 €
Cuticle Techniques in Arthropods T. A. Miller / Broschur
common.buy 139.20 €
DEMNÄCHST
When The Blue Shift Comes Alvaro Robert Silverberg Zinos Amaro / Broschur
common.buy 11.59 €
Applied Ontology Engineering in Cloud Services, Networks and Management Systems J. Martín Serrano Orozco / Hardcover
common.buy 139.20 €
Heritage Tourism Hyung Yu Park / Hardcover
common.buy 248.85 €
Memoir of Ulric Dahlgren. by His Father, Rear-Admiral Dahlgren. John Adolphus Bernard Dahlgren / Broschur
common.buy 34.29 €
Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz / Hardcover
common.buy 65.56 €
Recipe for Radiance Alexis Wolfer / Broschur
common.buy 23.80 €
Art, Faith and Place in East Anglia T A Heslop / Hardcover
common.buy 208.50 €
Growing Up In Britain - Ensuring a Healthy Future for our Children Veronica English / Broschur
common.buy 59.71 €
Das afrikanische Gewerbe Heinrich Schurtz / Broschur
common.buy 14.63 €
Anglo-Saxon Chronicle Michael Swanton / Broschur
common.buy 32.27 €

This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002.The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets.

Informationen zum Buch

Vollständiger Name Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Autor Holger Hermanns, Roberto Segala
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2002
Anzahl der Seiten 222
EAN 9783540439134
ISBN 3540439137
Libristo-Code 01564460
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 730
Abmessungen 155 x 235 x 13

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
Mathematik und Naturwissenschaften > Mathematik > Angewandte Mathematik > Mathematische Modellierung
Mathematik und Naturwissenschaften > Mathematik > Algebra
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Mathematik für Ingenieure
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 > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
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

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