CESC : a scenario based language for specification and verification of reactive systems (R)

By: Joseph, Kiran KumarContributor(s): Krishna SLanguage: English Series: Publication details: Mumbai ; IIT ; 2008Edition: Description: iv,38 p; 30 cmISBN: Subject(s): Krishna S | Theses and Dissertations | Electronic data processing-Distributed processing , Distributed systems , Visual programming languages(Computer science)
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Notes Date due Barcode Item holds
Theses and Dissertations Theses and Dissertations Central Library, IITB
043:681.327.8:681.3.06Jos Not for loan D02B23 218673
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha