Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow, eds.

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 1135Publication details: Berlin ; New York : Springer, c1996.Description: x, 478 p. : ill. ; 24 cmISBN:

Subject(s):

DDC classification:

LOC classification:

Online resources:

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
Books	Informatics and Virtual Education Library Collection General Collection	QA76.54 .F657 1996 (Browse shelf(Opens below))	Available		3065

Includes bibliographical references and index.

There are no comments on this title.

to post a comment.