Verification of reactive systems : formal methods and algorithms

By: Schneider, KlausContributor(s): -Language: English Series: Publication details: Barlin ; Springer ; 2004Edition: Description: xiv,600 p; 24 cmISBN: 3-540-00296-0Subject(s): - | Computer software-Verification , Formal methods(Computer science) , Computer algorithms
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Books Books Central Library, IITB
681.3.06Sch Available G55B28 203018
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha