Recomienda este artículo a tus amigos:
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems Eric Verhulst 2011 edition
Precio
Mex$ 3.389
sin IVA
Pedido desde almacén remoto
Entrega prevista 4 - 20 de nov.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Eric Verhulst
Nuestros clientes opinan:
Añadir a tu lista de deseos de iMusic
También disponible como:
Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems
Eric Verhulst
Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded".
219 pages, 9 black & white tables, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 23 de agosto de 2011 |
| ISBN13 | 9781441997357 |
| Editores | Springer-Verlag New York Inc. |
| Género | Aspects (Academic) > Science / Technology Aspects |
| Páginas | 219 |
| Dimensiones | 155 × 235 × 14 mm · 512 g |
| Lengua | Inglés |
![Cover for Paulo Ney De Souza · Berkeley Problems in Mathematics - Problem Books in Mathematics (Hardcover Book) [Fourth Edition 2026 edition] (2027)](https://imusic-static.b-cdn.net/images/missing-tall.png)
![Cover for Yves Tille · Sampling Algorithms: with R - Springer Series in Statistics (Hardcover Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/740/9781071655740.jpg?yves-tille-2027-sampling-algorithms-with-r-springer-series-in-statistics-hardcover-book&class=scaled&v=1790602619)
![Cover for Observing Photons in Space: A Guide to Experimental Space Astronomy - ISSI Scientific Report Series (Hardcover Book) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/231/9781071654231.jpg?2027-observing-photons-in-space-a-guide-to-experimental-space-astronomy-issi-scientific-report-series-hardcover-book&class=scaled&v=1780314405)
![Cover for Loring W. Tu · An Introduction to Manifolds - Universitext (Paperback Book) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/364/9781071653364.jpg?loring-w-tu-2027-an-introduction-to-manifolds-universitext-paperback-book&class=scaled&v=1780314358)
![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] (2027)](https://imusic.b-cdn.net/images/item/original/835/9781071654835.jpg?andre-anders-2027-cathodic-arcs-from-fractal-spots-to-energetic-deposition-springer-series-on-atomic-optical-and-plasma-physics-hardcover-book&class=scaled&v=1780314416)
![Cover for Biomedical Engineering Principles in Sports (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/798/9781071654798.jpg?2027-biomedical-engineering-principles-in-sports-hardcover-book&class=scaled&v=1788246125)
![Cover for Hendrik Van den Berg · The Economics of Immigration: Theory, History and Policy - Population Economics (Hardcover Book) [Third Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/477/9781071654477.jpg?hendrik-van-den-berg-2027-the-economics-of-immigration-theory-history-and-policy-population-economics-hardcover-book&class=scaled&v=1780314393)
![Cover for Accelerator Physics at the Tevatron Collider - Particle Acceleration and Detection (Hardcover Book) [Second Edition 2026 edition] (2027)](https://imusic.b-cdn.net/images/item/original/791/9781071653791.jpg?2027-accelerator-physics-at-the-tevatron-collider-particle-acceleration-and-detection-hardcover-book&class=scaled&v=1782130051)
![Cover for RNA-Chromatin Interactions: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/266/9781071656266.jpg?2027-rna-chromatin-interactions-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602568)
![Cover for Computational Methods in Synthetic Biology - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2027)](https://imusic.b-cdn.net/images/item/original/825/9781071655825.jpg?2027-computational-methods-in-synthetic-biology-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602614)
![Cover for Melanoma: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/181/9781071656181.jpg?2026-melanoma-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602583)
![Cover for Atomic Force Microscopy: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/542/9781071655542.jpg?2026-atomic-force-microscopy-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1791812257)
![Cover for Ewing Sarcoma: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/863/9781071655863.jpg?2026-ewing-sarcoma-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602610)
![Cover for RNA Remodeling Proteins: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/702/9781071655702.jpg?2026-rna-remodeling-proteins-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602627)
![Cover for Intestinal Stem Cells: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Second Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/118/9781071654118.jpg?2026-intestinal-stem-cells-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790602647)
![Cover for Stem Cell Transcriptional Networks: Methods and Protocols - Methods in Molecular Biology (Hardcover Book) [Third Edition 2027 edition] (2026)](https://imusic.b-cdn.net/images/item/original/382/9781071655382.jpg?2026-stem-cell-transcriptional-networks-methods-and-protocols-methods-in-molecular-biology-hardcover-book&class=scaled&v=1790604482)
![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)
