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 : Б. ц. ГРНТИ 50.41 20.53.23 50.07.05 УДК 004.38.051(063) 004.738.2.001.2(063) 004.41(063) Рубрики: Вычислительные машины--Производительность--Съезды и конференции    Системы передачи данных--Проектирование--Съезды и конференции    Программное обеспечение эвм--Проектирование--Съезды и конференции См. : Текст издания Доп.точки доступа: Bernardo, M. \ed.\; SpringerLink (Online service) Свободных экз. нет