Formal Development of a Network-Centric RTOS

Name: Formal Development of a Network-Centric RTOS
Brand: Springer-Verlag New York Inc.
SKU: 9781489992888
Price: 42499 HUF
Availability: InStock

Software Engineering for Reliable Embedded Systems

Szerző: Jose Miguel Sampaio Faria

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

42 499 Ft

This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. U...

Információk a könyvről

Szerző

Jose Miguel Sampaio Faria

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2014

oldal

219

EAN

9781489992888

ISBN

9781489992888

Enbook ID

09062386

Kiadó

Springer-Verlag New York Inc.

Súly

373

Méretek

155 x 235 x 13

Teljes leírás

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.§

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Formal Development of a Network-Centric RTOS

Software Engineering for Reliable Embedded Systems

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták