gogo

Communicating embedded systems [electronic resource] : software and design : formal methods / edited by Claude Jard, Olivier H. Roux.

Contributor(s): Material type: TextTextLanguage: English Original language: French Publication details: London : ISTE ; Hoboken, N.J. : Wiley, 2010.Description: xii, 261 p. : illUniform titles:
  • Approches formelles des systèmes embarqués communicants. English.
Subject(s): Genre/Form: DDC classification:
  • 621.39/2 22
LOC classification:
  • TK7895.E42 A387 2010
Online resources:
Holdings
Item type Current library Call number Status Date due Barcode
Ebook TUS: Midlands, Main Library Athlone Online eBook (Browse shelf(Opens below)) Available

Includes bibliographical references and index.

Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

Powered by Koha