Capa do artigo Formal Development Of A Network-Centric Rtos
10% OFF

Formal Development Of A Network-Centric Rtos eBook

Software Engineering For Reliable Embedded Systems

by Jose Miguel Sampaio Faria, Eric Verhulst, Bernhard H.C. Sputh, Raymond T. Boute e Vitaliy Mezhuyev
language: english
Publisher: SPRINGER US, August of 2011 ‧
127,86€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. Using the formal methods described in this book produces results that are more reliable and will have higher performance.

Formal Development Of A Network-Centric Rtos

Software Engineering For Reliable Embedded Systems

by Jose Miguel Sampaio Faria, Eric Verhulst, Bernhard H.C. Sputh, Raymond T. Boute e Vitaliy Mezhuyev

Property Description
ISBN: 9781441997364
Publisher: SPRINGER US
Release Date: August of 2011
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Engineering
Categories: eBooks in English > Art > Design and Illustration
eBooks in English > Engineering > Electricity and Energy
eBooks in English > Computing > CAD
EAN: 9781441997364

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION