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

Previous								Next
Previous	681 LNCS Theory Is Forever: essays dedicated to Arto Salomaa on the occasion of his 70th birthday	681 LNCS Advances in cryptology - CRYPTO 2004: 24th annual international cryptology conference Santa Barbara, USA, August 2004 proceedings	681 LNCS Computer security -- ESORICS 2004: 9th European symposium on research in computer security, Sophia Antipolis, France, September 13 - 15, 2004, proceedings	681 LNCS Formal methods for the design of real-time systems: international school on formal methods for the design of computer, communication, and software systems,	681 LNCS Mathematical foundations of computer science 2004: 20th international symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. proceedings	681 LNCS Parameterized and exact computation:	681 LNCS Principles and practice of semantic web reasoning: second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, proceedings	Next

There are no comments on this title.

to post a comment.