Enlarge

Tools and algorithms for the construction and analysis of systems : 4th International Workshop, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98

Publication Data

Title Tools and algorithms for the construction and analysis of systems : 4th International Workshop, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98
Contributor Bernhard Steffen
Publisher Springer
Publication date 1998
Publication location Berlin
Language English

Topics

System design :: Congresses
Computer software :: Development :: Congresses
Electronic data processing :: Distributed processing :: Congress

Catalogue Data

OBNB ID GB9831403
ISBN 10 3540643567
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.21

ISBD

P1053 xiii,455p.
P1042 Includes bibliographies and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Tools and algorithms for the construction and analysis of systems : 4th International Workshop, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98 . ISBN 3540643567. Published by Springer in 1998. Publication and catalogue information, links to buy online and reader comments.