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), SpringerLink (Online service), LINK (Online service), ETAPS (Conference)
Other Authors: Steffen, Bernhard
Format: Conference Proceeding eBook
Language:English
Published: New York : Springer, 1998.
Series:Lecture notes in computer science ; 1384.
Subjects:
System design > Congresses.
Computer software > Development > Congresses.
Computer software > Development.
System design.
Electronic books.
Online resources.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource (xiii, 455 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540643567 (softcover : alk. paper)
9783540643562 (softcover : alk. paper)