Вы здесь

Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018

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

Abstract State Machines, Alloy, B, TLA, VDM, and Z: Proc./6th International Conference, ABZ 2018, Southampton, UK, June 2018/Ed. by Butler M., Raschke A., Hoang T. S., Reichl K..-Berlin.: Springer, 2018.-Vol. 10817.-432 p.-(Lecture Notes in Computer Science).