|
|
004.432.4
A38
All about maude - a high-performance logical framework [Electronic resource] : how to specify, program and verify systems in rewriting logic / M. Clavel [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4350). - ISBN 978-3-540-71999-1 : Б. ц.
Рубрики: Программирования языки декларативные
Программы для эвм--Спецификация
Программы для эвм--Верификация
См. : Текст издания
Доп.точки доступа:
Clavel, M.; DurГЎn, F.; Eker, S.; Lincoln, P.; MartГ-Oliet, N.; Meseguer, J.; SpringerLink (Online service)
Свободных экз. нет
|
|