Вы здесь

Главная

Mathematical Foundations of Computer Science: Logic Aspect of Programs: Proc./6th IBM Symposium, Tokyo, Japan, May 1981

Количество экземпляров: 
2
Вид: 
Сборник или журнал
Год: 
1981
Ключевые слова: 
математические основы
логический анализ
анализ программ
Стр.: 
431 p.
Место издания: 
Tokyo
Карточка: 

Mathematical Foundations of Computer Science: Logic Aspect of Programs: Proc./6th IBM Symposium, Tokyo, Japan, May 1981-Tokyo., 1981.-431 p.