IMSc Library catalog › Details for: Formal methods for the design of real-time systems: international school on formal methods for the design of computer, communication, and software systems,

Normal view MARC view ISBD view

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

TextSeries: Lecture notes in computer science ; 03185Publication details: New York, NY ; Springer ; 2004Edition: 1st edDescription: 293ISBN: 3540230688

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		52615

There are no comments on this title.

to post a comment.