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

Сохранить в:
Библиографические подробности
Соавтор: EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands)
Другие авторы: Brinksma, Ed., Hermanns, Holger, 1967-, Katoen, Joost-Pieter.
Формат: Sách giấy
Опубликовано: Berlin ; New York : Springer, c2001.
Серии:Lecture notes in computer science, 2090
Предметы:
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Описание
Объем:vi, 429 p. : ill. ; 24 cm.
Библиография:Includes bibliographical references and index.
ISBN:3540424792 (pbk. : alk. paper)
ISSN:0302-9743 ;