Cover Image

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings /

Show other versions (1)
Bibliographic Details
Corporate Authors: TACAS (Conference) Lisbon, Portugal), ETAPS (Conference)
Other Authors: Steffen, Bernhard
Format: Conference Proceeding Book
Language:English
Published: New York : Springer, [1998]
Series:Lecture notes in computer science ; 1384.
Subjects:
System design > Congresses.
Computer software > Development > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA76.9.S88 T33 1998
 
Call Number Status Get It
QA76.9.S88 T33 1998 Available