Springer Nature
Process Algebra And Probabilistic Methods. Performance Modelling And Verification-image

Process Algebra And Probabilistic Methods. Performance Modelling And Verification

Leggi la descrizione completa
Miglior prezzo disponibile
52,74€
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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.

Storico prezzi

Ricevi una notifica se il prezzo scende

Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.

  • Aggiornamenti dei prezzi in tempo reale
  • Oltre 50 negozi monitorati
  • Avvisi gratuiti di calo prezzo
  • Solo negozi verificati

Avvisami quando il prezzo scende sotto: 52,74€

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Process Algebra And Probabilistic Methods: Performance Modeling And Verification 53,49€ Holger Hermanns (U. A.) | Process Algebra And Probabilistic Methods:... 49,95€ Luca De Alfaro (U. A.) | Process Algebra And Probabilistic Methods.... 49,95€ Software Verification Based On Game Semantics And Process Algebra Dimovski Buch 70,90€ Probabilistic Methods And Distributed Information 85,59€ Modelling And Verification Of Secure Exams 42,79€ Algebra, Analysis, Modelling And Optimization 181,89€ Probabilistic And Statistical Methods In Cryptology 52,70€