![Formal Development of a Network-Centric RTOS Formal Development of a Network-Centric RTOS](https://bilder.buecher.de/produkte/41/41622/41622073m.jpg)
Broschiertes Buch
Software Engineering for Reliable Embedded Systems
2011
1. Oktober 2014
Springer / Springer US / Springer, Berlin
978-1-4899-9288-8
Gebundenes Buch | 108,99 € | |
eBook, PDF | 73,95 € |
![Formal Development of a Network-Centric Rtos Formal Development of a Network-Centric Rtos](https://bilder.buecher.de/produkte/32/32983/32983946m.jpg)
Gebundenes Buch
Software Engineering for Reliable Embedded Systems
2011 edition
23. August 2011
Springer / Springer US / Springer, Berlin
12522071,978-1-4419-9735-7
![Teaching Formal Methods Teaching Formal Methods](https://bilder.buecher.de/produkte/14/14105/14105400m.jpg)
Broschiertes Buch
CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004. Proceedings
2004
17. November 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11339786,978-3-540-23611-5
eBook, PDF | 40,95 € |
![Formal Development of a Network-Centric RTOS (eBook, PDF) Formal Development of a Network-Centric RTOS (eBook, PDF)](https://bilder.buecher.de/produkte/37/37343/37343966m.jpg)
Ähnliche Artikel
![Nanosystems Design and Technology Nanosystems Design and Technology](https://bilder.buecher.de/produkte/41/41628/41628436m.jpg)
Broschiertes Buch
2009
7. Oktober 2014
Springer / Springer US / Springer, Berlin
978-1-4899-8388-6
![Functional Verification of Programmable Embedded Architectures Functional Verification of Programmable Embedded Architectures](https://bilder.buecher.de/produkte/41/41962/41962217n.jpg)
Broschiertes Buch
A Top-Down Approach
2005
4. Dezember 2014
Springer / Springer US / Springer, Berlin
978-1-4899-7336-8
![Extreme Low-Power Mixed Signal IC Design Extreme Low-Power Mixed Signal IC Design](https://bilder.buecher.de/produkte/41/41958/41958566m.jpg)
Broschiertes Buch
Subthreshold Source-Coupled Circuits
2010
29. November 2014
Springer / Springer, Berlin
978-1-4939-0204-0
![Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications](https://bilder.buecher.de/produkte/41/41523/41523756m.jpg)
Broschiertes Buch
2010
18. September 2014
Springer / Springer New York / Springer, Berlin
978-1-4899-8702-0
![High-Level Verification High-Level Verification](https://bilder.buecher.de/produkte/41/41627/41627857m.jpg)
Broschiertes Buch
Methods and Tools for Verification of System-Level Designs
2011
1. Oktober 2014
Springer / Springer New York / Springer, Berlin
978-1-4939-0101-2
![Designing Embedded Systems with the SIGNAL Programming Language Designing Embedded Systems with the SIGNAL Programming Language](https://bilder.buecher.de/produkte/42/42161/42161260m.jpg)
Broschiertes Buch
Synchronous, Reactive Specification
2010
26. November 2014
Springer / Springer New York / Springer, Berlin
978-1-4899-8512-5
![Cloud Connectivity and Embedded Sensory Systems Cloud Connectivity and Embedded Sensory Systems](https://bilder.buecher.de/produkte/41/41621/41621881m.jpg)
Broschiertes Buch
2011
8. Oktober 2014
Springer / Springer, Berlin
978-1-4899-8191-2
![Open Verification Methodology Cookbook Open Verification Methodology Cookbook](https://bilder.buecher.de/produkte/41/41901/41901836m.jpg)
Broschiertes Buch
2009
26. November 2014
Springer / Springer New York / Springer, Berlin
978-1-4899-8513-2
![Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces](https://bilder.buecher.de/produkte/41/41958/41958584m.jpg)
Broschiertes Buch
2011
30. November 2014
Springer / Springer New York / Springer, Berlin
978-1-4899-9370-0
![Run-time Adaptation for Reconfigurable Embedded Processors Run-time Adaptation for Reconfigurable Embedded Processors](https://bilder.buecher.de/produkte/41/41960/41960249m.jpg)
Broschiertes Buch
2011
28. November 2014
Springer / Springer New York / Springer, Berlin
978-1-4899-8199-8
Ähnlichkeitssuche: Fact®Finder von OMIKRON