Enlarge

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings

Publication Data

Title Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings
Contributor Joost-Pieter Katoen
Publisher Springer
Publication date 1999
Publication location Berlin
Language English

Topics

Software engineering :: Congresses
Abstract data types (Computer science) :: Congresses

Catalogue Data

OBNB ID GB9942618
ISBN 10 3540660100
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 x,353p.
P1042 Includes bibliographical references and index.

Buy a copy

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

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings. ISBN 3540660100. Published by Springer in 1999. Publication and catalogue information, links to buy online and reader comments.