|
|
Вид документа : Однотомное издание
Шифр издания : 004.02/M78
Заглавие : Modern formal methods and applications [Electronic resource]
Выходные данные : Dordrecht : Springer, 2006
Коллективы :
SpringerLink (Online service)
Вид и объем ресурса: Electronic text data
ISBN, Цена 978-1-402-04223-2: Б.ц.
ГРНТИ : 50.01
УДК : 004.02
Ключевые слова (''Своб.индексиров.''): формальные методы--применение
См. : Текст издания
Доп.точки доступа:
Gabbar, H.A. \ed.\; SpringerLink (Online service)
|
|