Darmowa dostawa dla zamówień powyżej 299,00 zł.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Name: Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563754
Price: 218.99 PLN
Availability: InStock
Author: Luca de Alfaro
ISBN: 9783540425564

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Luca de Alfaro

Stephen Gilmore

Język

Angielski

Książka Miękka

Kod Libristo: 01563754

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2001

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performa... Cały opis

Kod Libristo: 01563754

125 b

218.99 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Futterungsversuch an Ziegen Mit Ammoniumacetat, Harnstoff Und Hornmehl ALS Eiweissersatz Ernst Paasch

Miękka

224.91 zł

LONELY PLANET Reiseführer Indien Süden & Kerala Joe Bindloss

Miękka

96.54 zł

Homo asapiens Rado Ondřejíček

Twarda

42.35 zł

Jak jsem jezdil do nebe Michal Třetina

Mapa

49.07 zł

Le pouvoir des plantes/ documentaire nature santé 102 mn - livret 16 pages sur l'herboristerie BEAUDUCEL

DVD

116.82 zł

Spider-Man 2099 : Dark Genesis

Miękka

102.16 zł

Impacto de la erosión en las infraestructuras O. E Inyang

Miękka

102.27 zł

Von Tripolis nach Alexandrien Gerhard Rohlfs

Miękka

64.43 zł

L'Heliotherapie Sur Le Littoral Mediterraneen Francais Faure-M

Miękka

65.83 zł

Hueckel

Twarda

29.60 zł

Ces Messieurs de St-Malo T02 Temps Des Carbec B. Simiot

Miękka

62.92 zł

Traite Complet de l'Anatomie Des Animaux Domestiques Partie 2 Felix Rigot

Miękka

123.64 zł

Manuel Des Lecons Methodiques de Lecture Graduee, Numero 1 Lefevre-A

Miękka

58.00 zł

Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert. Ernst von Meier

Miękka

315.85 zł

IGI ARABA - Il sogno inizia Luigi Carlo De Micco

Twarda

94.74 zł

Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels Jean-Claude Balanck

Miękka

68.64 zł

Staré lásky Isaac Bashevis Singer

Książka

36.42 zł

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.

Aktorka & Poliglotka

EWA KASP dla

Odtworzyć wideo

Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Autor Luca de Alfaro, Stephen Gilmore

Język

Angielski

Oprawa Książka - Miękka

Data wydania 2001

Liczba stron 224

EAN 9783540425564

ISBN 354042556X

Kod Libristo 01563754

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

Waga 750

Wymiary 155 x 235 x 13

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna

Matematyka i nauki ścisłe > Matematyka > Matematyka stosowana > Procesy stochastyczne

Matematyka i nauki ścisłe > Matematyka > Algebra

Matematyka i nauki ścisłe > Matematyka > Probabilistyka i statystyka

Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Grafika i modelowanie 3D

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne

Podaruj tę książkę jeszcze dziś

To łatwe

1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Breeding for Resistance to Diseases and Insect Pests Dhan P. Singh

Miękka

349.37 zł

Sundown Towns James W. Loewen

Twarda

149.04 zł

Easy to Medium 300 Sudoku Puzzle Book: Volume 5 Enoch Darmody

Miękka

63.92 zł

Colorful Creatures: Exotic Ocean Fish Adult Coloring Book Jordan Biggio

Miękka

43.75 zł

A Fresh Start: She wants a new life, he needs a wife Ellie Etienne

Miękka

47.46 zł

Back Against the Wall Tamera Denise Kelly

Miękka

63.02 zł

Camilla And Gertrude And Other Poems (1884) Florence H. Hayllar

Miękka

94.03 zł

World War II in Atlanta Paul Crater

Miękka

88.41 zł

The Authenticity Hoax: Why the "Real" Things We Seek Don't Make Us Happy Andrew Potter

Miękka

54.49 zł

Socratic Method and Critical Philosophy: Selected Essays Leonard 1882-1927 Nelson

Miękka

90.02 zł

Our Own Pompeii. a Romance of To-Morrow. [By S. Middleton Fox.] S Middleton Fox

Miękka

94.24 zł

Dedham Park. a Tale of Saltshire. Bradshaw

Miękka

109.69 zł

Counter-Narrative Goodall

Miękka

245.09 zł

Learning to Love Amy Mia Marconi

Miękka

36.22 zł

Gunner Aboard the Yankee. from the Diary of Number Five of the After Port Gun. the Yarn of the Cruise and Fights of the Naval Reserves in the Spanish- H H Lewis

Miękka

112.50 zł

Foundation Discrete Mathematics for Computing DEXTER J. BOOTH

Miękka

218.99 zł

Murphy's Revenge Colin Bateman

Miękka

39.03 zł

Kung Pao and Beyond Jung

Twarda

90.02 zł

Notes and Observations on the Ionian Islands and Malta John Davy

Miękka

217.09 zł

Sweeney Todd the Graphic Novel Original Text Clive Bryant

Miękka

45.86 zł

Political Theory and the Displacement of Politics Bonnie Honig

Miękka

183.96 zł

Acadia National Park Animals and Attractions Kids Book Billy Grinslott

Miękka

56.20 zł

Animal Models in Cardiovascular Research David Gross

Twarda

744.72 zł

Najczęściej wyszukiwane

Categories

Authors

Publishers

Najczęściej wyszukiwane

Produkty

Categories

Authors

Publishers

Dostawa

Doradca ds. zakupów

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Klienci kupili także

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Mogłoby Cię także zainteresować

Najczęściej wyszukiwane

Categories

Authors

Publishers

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

Klienci kupili także

Informacje o książce

Kategoria

Podaruj tę książkę jeszcze dziś

To łatwe

Mogłoby Cię także zainteresować

Nie masz konta? Zyskaj korzyści konta Libristo!