Вы здесь

Главная

Unifying Theories of Programming: Revised Selected Papers/4th International Symposium, UTP 2012, Paris, France, August 2012

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2013
Ключевые слова: 
maude
monad
utp
verilog
вычисления
формальный метод
объектно-ориентированный
программирование
язык программирования
теория программирования
семантика
разработка по
Стр.: 
249 p.
Редактор: 
Wolff B.
Gaudel M. -C.
Feliachi A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
7681
Карточка: 

Б3.1, Б2.2.

Unifying Theories of Programming: Revised Selected Papers/4th International Symposium, UTP 2012, Paris, France, August 2012Ed. by Wolff B., Gaudel M. -C., Feliachi A..-Berlin.: Springer, 2013.-Vol. 7681.-249 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO9 897