embedded systems formal

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

$168,98

8% OFF

$154,78

Envío gratis

Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)

Formal Methods for Embedded Distributed Systems: How to master the complexity (Kluwer International Series in Engineering & Computer Scienc)

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science, 284)

Embedded Software Development for Safety-Critical Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

Embedded Systems Design Based on Formal Models of Computation

Embedded System Design: A Unified Hardware / Software Introduction

Formal Verification of Structurally Complex Multipliers

Embedded Software Development for Safety-Critical Systems, Second Edition

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems

High-speed Serial Buses in Embedded Systems

Resultados de búsquedas en

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)

Formal Methods for Embedded Distributed Systems: How to master the complexity (Kluwer International Series in Engineering & Computer Scienc)

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science, 284)

Embedded Software Development for Safety-Critical Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

Embedded Systems Design Based on Formal Models of Computation

Embedded System Design: A Unified Hardware / Software Introduction

Formal Verification of Structurally Complex Multipliers

Embedded Software Development for Safety-Critical Systems, Second Edition

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems

High-speed Serial Buses in Embedded Systems

Información útil

Centro de ayuda

Todo en un solo lugar

Comprá con tranquilidad

Resultados de búsquedas en

embedded systems formal

Formal Development of a Network-Centric RTOS: Software Engineering for Reliable Embedded Systems

Embedded Software System Testing: Automatic Testing Solution Based on Formal Method

Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)

Formal Methods for Embedded Distributed Systems: How to master the complexity (Kluwer International Series in Engineering & Computer Scienc)

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science, 284)

Embedded Software Development for Safety-Critical Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

Embedded Systems Design Based on Formal Models of Computation

Embedded System Design: A Unified Hardware / Software Introduction

Formal Verification of Structurally Complex Multipliers

Embedded Software Development for Safety-Critical Systems, Second Edition

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems

High-speed Serial Buses in Embedded Systems

¿Cómo comprar?

Hacemos todo por ti

Tarjetas de Débito, Crédito y Deuna

Pagos a través de Deuna

Pagos a través de PayPal

Garantía de entrega

Compra como si vivieras fuera, pero desde cualquier lugar de Ecuador