Specifying message passing and time-critical systems with temporal logic

By: Koymans, RonContributor(s): Language: English Series: Lecture notes in computer science ; v.651Publication details: ; Berlin : Springer-verlag, 1992 ; 1992Edition: Description: viii,164 p; 23.5 cmISBN: 3-540-56283-43Subject(s): | Telecommunication-Message processing | Logic, Symbolic and mathematical | Logic programming
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
Compact Storage - Basement Area 		681.327.8:681.3.06 Koy Available G57A26 166680
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha