Вы здесь

Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010

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

Б2.1, Б4.12, В2.11.

Abstract State Machines, Alloy, B and Z: Proc./2nd International Conference, ABZ 2010, Orford,QC,Canada, February 2010/Ed. by Frappier M., Gasser U., Khurshid S., Laleau R..-Berlin.: Springer, 2010.-Vol. 5977.-416 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO8 86