BiblioToscana - Stochastic model checking

testo

Titolo: Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : Advanced lectures / Anne Remke, Mariëlle Stoelinga (eds.)

Pubblicazione: Berlin : Springer, 2014

Tipo di risorsa: testo, Livello bibliografico: monografia, Lingua: ger, Paese: DE

Dettagli ↓

Quali biblioteche contattare per richiedere questa risorsa

apri il record nella vista accessibile con l'elenco delle Biblioteche

Soggetti / Termini

STOCHASTIC MODELS
PROBABILIT PROCESSI ALEATORI PROCESSI STOCASTICI
PROBABILITA E MATEMATICA APPLICATA

Dettaglio risultati per rete

Alcune catalogazioni sono state accorpate perché sembrano descrivere la stessa edizione. Per visualizzare i dettagli di ciascuna, clicca sul numero di record

lucca

lucca_LUA1200271

IT-LU0202

Biblioteca IMT, Lucca

Vedi Disponibilità

Record aggiornato il: 2021-09-10T16:19:47.553Z

biblio toscana

Titolo: Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : Advanced lectures / Anne Remke, Mariëlle Stoelinga (eds.)

Quali biblioteche contattare per richiedere questa risorsa

Soggetti / Termini

Dettaglio risultati per rete

Banche dati

Il Portale

Titolo: Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 : Advanced lectures / Anne Remke, Mariëlle Stoelinga (eds.)

Quali biblioteche contattare per richiedere questa risorsa

Soggetti / Termini

Dettaglio risultati per rete

Seguici su Twitter

I Nostri Social

Banche dati