Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Stochastic Model Checking

(0)
Erste Bewertung abgeben
Stochastic models.- Abstraction techniques.- Stochastic model checking. Tutorial lectures given by leading scientists Up-to-date r...

Tiefpreis

CHF48.60

Print on Demand - Exemplar wird für Sie gedruckt.

Kein Rückgaberecht!

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Stochastic models.- Abstraction techniques.- Stochastic model checking.

Tutorial lectures given by leading scientists Up-to-date results State-of-the-art report

Autorentext
Stochastic models.- Abstraction techniques.- Stochastic model checking.

Inhalt
The tree areas of stochastic models.- Abstraction techniques.- Stochastic model checking.

Produktinformationen

Titel:
Stochastic Model Checking
Untertitel:
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Editor:
Anne Remke
,
Mariëlle Stoelinga
EAN:
9783662454886
ISBN:
978-3-662-45488-6
Format:
Kartonierter Einband
Herausgeber:
Springer, Berlin
Genre:
Informatik
Anzahl Seiten:
281
Gewicht:
453g
Größe:
H15mm x B236mm x T159mm
Jahr:
2014
Untertitel:
Englisch
Auflage:
2014

Mehr entdecken: IT & Informatik

Allgemein & Lexika, Anwendungs-Software, Informatik, Programmiersprachen