Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia, June/July 1993 Proceedings (Lecture Notes in Computer Science 735)
Bjorner, Dines; Broy, Manfred & Pottosin, Igor
Vendido por PsychoBabel & Skoob Books, Didcot, Reino Unido
Vendedor de AbeBooks desde 6 de octubre de 2003
Usado - Encuadernación de tapa blanda
Condición: Usado - Aceptable
Cantidad disponible: 1 disponibles
Añadir al carrito