Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Title:

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

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Holds:
Copies:

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