Taxonomies for the development and verification of digital systems
Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:34221 |
---|---|
Ostali autori: | Bailey, Brian (Editor), Martin, Grant |
Vrsta građe: | Knjiga |
Jezik: | eng |
Impresum: |
Springer-Verlag,
2005.
|
Izdanje: | 1. izd |