Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems

Bibliographic Details
Main Author: Leavens, Gary T. (-)
Corporate Authors: International Workshop on Specification and Verification of Component-Based Systems Corporate Author (corporate author), International Workshop on Specification and Verification of Component-Based Systems (-), ACM Sigsoft Content Provider (content provider)
Other Authors: Leavens, Gary T Contributor (contributor)
Format: eBook
Language:Inglés
Published: [Place of publication not identified] ACM 2005
Series:ACM Conferences
Subjects:
Engineering & Applied Sciences
Computer Science
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714394406719
Description
Item Description:Bibliographic Level Mode of Issuance: Monograph
Physical Description:1 online resource (95 pages)

Similar Items