004.415.2(063)/F76-256703 Formal methods for performance evaluation [Electronic resource] : 7th International school on formal methods for the design of computer, communication, and software systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007: advanced lectures / ed. M. Bernardo ; ed.: M. Bernardo, J. Hillston. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4486). - ISBN 978-3-540-72522-0 : Б. ц.
Системы передачи данных--Проектирование--Съезды и конференции Программное обеспечение эвм--Проектирование--Съезды и конференции См. : Текст издания Доп.точки доступа: Bernardo, M. \ed.\; SpringerLink (Online service) Свободных экз. нет |