Вы здесь

Formal Methods for Multicore Programming: Advanced Lectures/15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 2015

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2015
Стр.: 
211 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
9104
Карточка: 

Formal Methods for Multicore Programming: Advanced Lectures/15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 2015/Ed. by Bernardo M., Johnsen E. B..-Berlin.: Springer, 2015.-Vol. 9104.-211 p.-(Lecture Notes in Computer Science).

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