Program construction : calculating implementations from specifications. /

Bibliographic Details
Main Author: Backhouse, Roland
Format: Book
Language:English
Published: Inglaterra : John Wiley and Sons, Inc, 2003.
Subjects:

Sistema de Bibliotecas del Tecnológico de Costa Rica

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available