Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli

Material type: Text

TextPublisher: Chichester : John Wiley, 1996Description: xvii, 271 p.ISBN: 471958352.Subject(s): Formal methods (Computer science)DDC classification: 004.33

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Book	Dr. B. R. Ambedkar Central Library Science	004.33 H3659 Fo (Browse shelf(Opens below))	Available		177445

Previous			No cover image available	No cover image available				Next
Previous	004.32 W6528 Ti,2 Time-sharing computer systems /	004.32 W6528 Ti,3 Time-sharing computer systems /	004.33 Eu7414 Pr Proceedings : Euromicro '90 Workshop on Real Time : June 6-8, 1990, Elektronikcentralen, Horsholm, Denmark /	004.33 H3659 Fo Formal methods for real-time computing /	004.33 If1 Re Real time programming 1977 : proceedings of the IFAC/IFIP Workshop Eindhoven, Netherlands, 20-22 June /	004.33 If1 Re Real time digital control applications : proceedings of the IFAC/IFIP Symposium, Guadalajara, Mexico, 17-19 January 1983 /	004.33 K8974 Re Real-time systems /	Next

There are no comments on this title.

to post a comment.