Cover image for Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Title:
Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Author:
Remke, Anne. editor.
ISBN:
9783662454893
Edition:
1st ed. 2014.
Physical Description:
XII, 281 p. 69 illus. online resource.
Series:
Theoretical Computer Science and General Issues ; 8453
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 489017-1001 ONLINE
Searching...

On Order