Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

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

Limba englezăengleză
Carte Carte broșată
Carte Process Algebra and Probabilistic Methods. Performance Modelling and Verification Luca de Alfaro
Codul Libristo: 01563754
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2001
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performa... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Futterungsversuch an Ziegen Mit Ammoniumacetat, Harnstoff Und Hornmehl ALS Eiweissersatz Ernst Paasch / Carte Carte broșată
common.buy 292.70 lei
LONELY PLANET Reiseführer Indien Süden & Kerala Joe Bindloss / Carte Carte broșată
common.buy 126.30 lei
Homo asapiens Rado Ondřejíček / Carte Copertă tare
common.buy 52.34 lei
Jak jsem jezdil do nebe Michal Třetina / Materiale tipărite Hartă
common.buy 64.49 lei
Le pouvoir des plantes/ documentaire nature santé 102 mn - livret 16 pages sur l'herboristerie BEAUDUCEL / Videoclip DVD
common.buy 144.27 lei
Spider-Man 2099 : Dark Genesis / Carte Carte broșată
common.buy 126.09 lei
Impacto de la erosión en las infraestructuras O. E Inyang / Carte Carte broșată
common.buy 133.88 lei
Von Tripolis nach Alexandrien Gerhard Rohlfs / Carte Carte broșată
common.buy 79.56 lei
L'Heliotherapie Sur Le Littoral Mediterraneen Francais Faure-M / Carte Carte broșată
common.buy 85.17 lei
Hueckel / Carte Copertă tare
common.buy 42.78 lei
Ces Messieurs de St-Malo T02 Temps Des Carbec B. Simiot / Carte Carte broșată
common.buy 77.69 lei
Traite Complet de l'Anatomie Des Animaux Domestiques Partie 2 Felix Rigot / Carte Carte broșată
common.buy 159.85 lei
Manuel Des Lecons Methodiques de Lecture Graduee, Numero 1 Lefevre-A / Carte Carte broșată
common.buy 75.09 lei
Französische Einflüsse auf die Staats- und Rechtsentwicklung Preußens im XIX. Jahrhundert. Ernst von Meier / Carte Carte broșată
common.buy 390.03 lei
IGI ARABA - Il sogno inizia Luigi Carlo De Micco / Carte Copertă tare
common.buy 123.91 lei
Bedeutung gesundheitswissenschaftlicher Zusammenhange fur die praktische Arbeit im Gesundheitswesen dargestellt anhand eines Praxisbeispiels Jean-Claude Balanck / Carte Carte broșată
common.buy 89.53 lei
Staré lásky Isaac Bashevis Singer / Carte Carte
common.buy 44.97 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Autor Luca de Alfaro, Stephen Gilmore
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 224
EAN 9783540425564
ISBN 354042556X
Codul Libristo 01563754
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 750
Dimensiuni 155 x 235 x 13

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Mathematics & Science > Mathematics > Applied mathematics > Stochastics
Mathematics & Science > Mathematics > Algebra
Mathematics & Science > Mathematics > Probability & statistics
Computing & Information Technology > Graphical & digital media applications > 3D graphics & modelling
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Breeding for Resistance to Diseases and Insect Pests Dhan P. Singh / Carte Carte broșată
common.buy 454.64 lei
Sundown Towns James W. Loewen / Carte Copertă tare
common.buy 196.41 lei
Easy to Medium 300 Sudoku Puzzle Book: Volume 5 Enoch Darmody / Carte Carte broșată
common.buy 83.50 lei
Colorful Creatures: Exotic Ocean Fish Adult Coloring Book Jordan Biggio / Carte Carte broșată
common.buy 56.91 lei
A Fresh Start: She wants a new life, he needs a wife Ellie Etienne / Carte Carte broșată
common.buy 61.69 lei
Back Against the Wall Tamera Denise Kelly / Carte Carte broșată
common.buy 81.74 lei
Camilla And Gertrude And Other Poems (1884) Florence H. Hayllar / Carte Carte broșată
common.buy 121.73 lei
World War II in Atlanta Paul Crater / Carte Carte broșată
common.buy 109.26 lei
The Authenticity Hoax: Why the "Real" Things We Seek Don't Make Us Happy Andrew Potter / Carte Carte broșată
common.buy 71.56 lei
Socratic Method and Critical Philosophy: Selected Essays Leonard 1882-1927 Nelson / Carte Carte broșată
common.buy 116.53 lei
Our Own Pompeii. a Romance of To-Morrow. [By S. Middleton Fox.] S Middleton Fox / Carte Carte broșată
common.buy 123.49 lei
Dedham Park. a Tale of Saltshire. Bradshaw / Carte Carte broșată
common.buy 144.06 lei
Counter-Narrative Goodall / Carte Carte broșată
common.buy 317.11 lei
Learning to Love Amy Mia Marconi / Carte Carte broșată
common.buy 47.77 lei
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 / Carte Carte broșată
common.buy 147.07 lei
Foundation Discrete Mathematics for Computing DEXTER J. BOOTH / Carte Carte broșată
common.buy 284.91 lei
Murphy's Revenge Colin Bateman / Carte Carte broșată
common.buy 50.78 lei
Kung Pao and Beyond Jung / Carte Copertă tare
common.buy 118.51 lei
Notes and Observations on the Ionian Islands and Malta John Davy / Carte Carte broșată
common.buy 282.11 lei
Sweeney Todd the Graphic Novel Original Text Clive Bryant / Carte Carte broșată
common.buy 60.34 lei
Political Theory and the Displacement of Politics Bonnie Honig / Carte Carte broșată
common.buy 236.40 lei
Acadia National Park Animals and Attractions Kids Book Billy Grinslott / Carte Carte broșată
common.buy 73.11 lei
Animal Models in Cardiovascular Research David Gross / Carte Copertă tare
common.buy 919.26 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?