Suchergebnisse für "José Miguel Sampaio Faria"

Formal Development of a Network-Centric RTOS (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Eric Verhulst
Raymond T. Boute
José Miguel Sampaio Faria
…mehr Autoren
Bernhard H.C. Sputh
Vitaliy Mezhuyev
Formal Development of a Network-Centric RTOS (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
23. August 2011
Springer US
Formal Development of a Network-Centric RTOS
74,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Eric Verhulst
Raymond T. Boute
José Miguel Sampaio Faria
Formal Development of a Network-Centric RTOS
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Software Engineering for Reliable Embedded Systems
2011
1. Oktober 2014
Springer / Springer US / Springer, Berlin
978-1-4899-9288-8
Auch erhältlich als
Gebundenes Buch103,99 €
Formal Development of a Network-Centric Rtos
103,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Eric Verhulst
Raymond T. Boute
José Miguel Sampaio Faria
Formal Development of a Network-Centric Rtos
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Software Engineering for Reliable Embedded Systems
2011 edition
23. August 2011
Springer / Springer US / Springer, Berlin
12522071,978-1-4419-9735-7
Novo Marco do Saneamento Básico no Brasil (eBook, ePUB)
11,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Carlos Roberto de Oliveira
Raul Miguel Freitas de Oliveira
Rodrigo Pagani de Souza
…mehr Autoren
Rui Cunha Marques
Thiago Marrara
Vanessa Rosa
Wladimir António Ribeiro
Daniela Malheiros Jerez
Eduardo Isaías Gurevich
Gustavo Justino de Oliveira
José Carlos de Oliveira
Kaline Ferreira
Maria Luiza Machado Granziera
Mariana Campos de Souza
Patrícia Regina Pinheiro Sampaio
Novo Marco do Saneamento Básico no Brasil (eBook, ePUB)
  (Aktuell noch keine Bewertungen)
eBook, ePUB
13. Januar 2021
Editora Foco

Ähnliche Artikel

Scalable Techniques for Formal Verification (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Sandip Ray
Scalable Techniques for Formal Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
17. Juni 2010
Springer US
Synthesis of Embedded Software (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Synthesis of Embedded Software (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
5. August 2010
Springer US
Formal Verification of Simulink/Stateflow Diagrams (eBook, PDF)
117,69 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Naijun Zhan
Shuling Wang
Hengjun Zhao
Formal Verification of Simulink/Stateflow Diagrams (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
7. November 2016
Springer International Publishing
Constraint-Based Verification (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Jun Yuan
Carl Pixley
Adnan Aziz
Constraint-Based Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
21. April 2006
Springer US
Advances in Design and Specification Languages for SoCs (eBook, PDF)
149,79 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Advances in Design and Specification Languages for SoCs (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
30. Juni 2006
Springer US
Design and Verification of Microprocessor Systems for High-Assurance Applications (eBook, PDF)
106,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Design and Verification of Microprocessor Systems for High-Assurance Applications (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
2. März 2010
Springer US
Hardware Software Co-Design of a Multimedia SOC Platform (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Sao-Jie Chen
Guang-Huei Lin
Pao-Ann Hsiung
…mehr Autoren
Yu-Hen Hu
Hardware Software Co-Design of a Multimedia SOC Platform (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
25. Januar 2009
Springer Netherland
Formal Methods for Discrete-Time Dynamical Systems (eBook, PDF)
171,19 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Calin Belta
Boyan Yordanov
Ebru Aydin Gol
Formal Methods for Discrete-Time Dynamical Systems (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
8. März 2017
Springer International Publishing
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)
69,54 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Asad Ahmed
Osman Hasan
Falah Awwad
…mehr Autoren
Nabil Bastaki
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. August 2021
Springer International Publishing
A Roadmap for Formal Property Verification (eBook, PDF)
96,29 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort per Download lieferbar
Versandkostenfrei
Pallab Dasgupta
A Roadmap for Formal Property Verification (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
19. Januar 2007
Springer Netherland


Ähnlichkeitssuche: Fact®Finder von OMIKRON