Número de Cutter-SanbornV515fEntrada «Verhu» → 515 · marca de obra “f”

Formal Development of a Network-Centric RTOS

Name: Formal Development of a Network-Centric RTOS
ISBN: 9781489992888

Software Engineering for Reliable Embedded Systems

Autor	Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, Vitaliy Mezhuyev
Editorial	Springer

Formal Development of a Network-Centric RTOS (2014) — ISBN 9781489992888 | Cutter Number