Record Nr.

UNINA9910376485603321

Autore

Leavens Gary T

Titolo

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

Pubbl/distr/stampa


[Place of publication not identified], : ACM, 2005

Descrizione fisica

1 online resource (95 pages)

Collana

ACM Conferences

Soggetti

Engineering & Applied Sciences

Computer Science

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph