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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Process Algebra and Probabilistic Methods: Performance Modeling and Verification

Name: Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564460
Price: 51.09 EUR
Availability: InStock
Author: Holger Hermanns
ISBN: 9783540439134

Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

Holger Hermanns

Roberto Segala

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01564460

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Online-Kommunikation - Die Psychologie Der Neuen Medien Fur Die Berufspraxis: E-Mail, Website, Newsletter, Marketing, Kundenkommunikation Annette Kielholz

Hardcover

64.99 €

Puzzle 500 peace collection Light blue 35116

Puzzle

6.39 €

Leuchtfeuer Corina Bomann

Broschur

13.00 €

Flucht aus der Gruselhütte Timo Grubing

Broschur

9.09 €

Le Robert de Poche Plus collegium

Broschur

12.29 €

L'apithérapie Ballot-Flurin

Broschur

13.39 €

Rad Vladimír Sorokin

Hardcover

3.99 €

Lovkyně Kate Quinn

Hardcover

14.49 €

Matematika pro SOŠ a studijní obory SOU 3.část Oldřich Odvárko

Broschur

7.09 €

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.

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