Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures /

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures /

Bibliographic Details
Corporate Author: International School on Formal Methods for the Design of Computer, Communication and Software Systems Bertinoro, Italy)
Other Authors: Bernardo, Marco, Inverardi, Paola
Format: Conference Proceeding Book
Language:English
Published: New York : Springer, 2003.
Subjects:
CONFERENCIAS
PROGRAMAS COMPUTACIONALES
ARQUITECTURA DEL COMPUTADOR

Sistema de Bibliotecas de la Universidad Nacional de Costa Rica

Holdings details from Sistema de Bibliotecas de la Universidad Nacional de Costa Rica
Call Number: 005.3
Copy Available

SIDUNA

Holdings details from SIDUNA
Copy Available

Similar Items