First-order dynamic logic. Lecture notes in computer science
Harel, David
Vendido por Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Alemania
Vendedor de AbeBooks desde 13 de marzo de 2015
Usado - Encuadernación de tapa blanda
Cantidad disponible: 1 disponibles
Añadir al carrito