Enlarge

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

Publication Data

Title Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Contributors Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Publisher Springer
Publication date 2001
Publication location Berlin
Language English

Topics

Formal methods (Computer science) :: Congresses

Catalogue Data

OBNB ID GBA153940
ISBN 10 3540424792
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.0151

ISBD

P1053 vi, 429 p.
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:

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures. ISBN 3540424792. Published by Springer in 2001. Publication and catalogue information, links to buy online and reader comments.