Conte aos seus amigos sobre este item:
Taxonomies for the Development and Verification of Digital Systems Thomas Anderson 2005 edition
Preço
R$ 658,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 25 de set - 7 de out
Receba avisos sobre novos lançamentos de Thomas Anderson
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Taxonomies for the Development and Verification of Digital Systems
Thomas Anderson
Includes set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation.
180 pages, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 12 de abril de 2005 |
| ISBN13 | 9780387240190 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 180 |
| Dimensões | 155 × 235 × 12 mm · 458 g |
| Editor | Anderson, Thomas |
| Editor | Bailey, Brian |
| Editor | Martin, Grant |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2026-the-economics-of-immigration-theory-history-and-policy-population-economics-hardcover-book&class=scaled&v=1780314393)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Hardcover Book) [Third Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2026-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-hardcover-book&class=scaled&v=1780314405)
![Cover for Biomedical Engineering Principles in Sports (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2026-biomedical-engineering-principles-in-sports-hardcover-book&class=scaled&v=1788246125)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2026-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-hardcover-book&class=scaled&v=1782130051)
![Cover for Andre Anders · Cathodic Arcs: From Fractal Spots to Energetic Deposition - Springer Series on Atomic, Optical, and Plasma Physics (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2026-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-hardcover-book&class=scaled&v=1780314416)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Paperback Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2026-an-introduction-to-manifolds-universitext-paperback-book&class=scaled&v=1780314358)
![Cover for Lipases and Phospholipases: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/712/9781071654712.jpg?2026-lipases-and-phospholipases-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788180481)
![Cover for Phloem: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/873/9781071654873.jpg?2026-phloem-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788770129)
![Cover for Leptospira spp.: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/996/9781071654996.jpg?2026-leptospira-spp-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788180585)
![Cover for Vaccinophobia and Vaccine Controversies of the 21st Century (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/637/9781071654637.jpg?2026-vaccinophobia-and-vaccine-controversies-of-the-21st-century-hardcover-book&class=scaled&v=1788180241)
![Cover for Computational Methods and Data Analysis for Metabolomics - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/514/9781071654514.jpg?2026-computational-methods-and-data-analysis-for-metabolomics-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788770131)
![Cover for Cryopreservation and Freeze-Drying Protocols - Methods in Molecular Biology (Hardcover Book) [Fifth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/156/9781071654156.jpg?2026-cryopreservation-and-freeze-drying-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788250154)
![Cover for MicroRNA Target Identification: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/913/9781071653913.jpg?2026-microrna-target-identification-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1788244300)
![Cover for Peptide Nucleic Acids: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Fourth Edition 2026 edition] (2026)](https://imusic.b-cdn.net/images/item/original/678/9781071653678.jpg?2026-peptide-nucleic-acids-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1780314367)
