Image from Google Jackets

Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems / Anne Remke and Marielle Stoelinga

By: Contributor(s): Language: English Publication details: Springer, 2014. Heidelberg :Description: vii, 280 p. : ill. ; 23 cmISBN:
  • 9783662454886
Subject(s): DDC classification:
  • 003.76 REM/S
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Item type Current library Home library Collection Call number Status Date due Barcode Item holds
Technical Reference Book Technical Reference Book Central Library, IIT Bhubaneswar Central Library, IIT Bhubaneswar SES 003.76 REM/S (Browse shelf(Opens below)) Available 10347
Total holds: 0

Including reference and index.

There are no comments on this title.

to post a comment.

Central Library, Indian Institute of Technology Bhubaneswar, 4th Floor, Administrative Building, Argul, Khordha, PIN-752050, Odisha, India
Phone: +91-674-7138750 | Email: (For circulation related queries),
Email: (For other queries)

Powered by Koha