Image from Amazon.com
Image from Google Jackets
Formal methods for the design of real-time systems: international school on formal methods for the design of computer, communication, and software systems, Bertinora, Italy, September 13-18, 2004, revised lectures
Material type:
TextSeries: Lecture notes in computer science ; 03185Publication details: New York, NY; Springer; 2004.Edition: 1st edDescription: 293ISBN: - 3540230688
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 681 LNCS (Browse shelf(Opens below)) | Available | 52615 |
There are no comments on this title.
Log in to your account to post a comment.