Вы здесь

Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016

Вид: 
Сборник или журнал
Год: 
2016
Стр.: 
426 p.
Место издания: 
Издательство: 
Том: 
9675
Карточка: 

Abstract State Machines, Alloy. B. TLA, VDM, and Z: Proc./5th International Conference, ABZ 2016, Linz, Austria, May 2016/Ed. by Butler M., Schewe K. -D., Mashkoor A., Biro M..-Berlin.: Springer, 2016.-Vol. 9675.-426 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO11 943