Coverart for item
The Resource Communicating embedded systems : software and design : formal methods, edited by Claude Jard, Olivier H. Roux

Communicating embedded systems : software and design : formal methods, edited by Claude Jard, Olivier H. Roux

Label
Communicating embedded systems : software and design : formal methods
Title
Communicating embedded systems
Title remainder
software and design : formal methods
Statement of responsibility
edited by Claude Jard, Olivier H. Roux
Contributor
Subject
Genre
Language
  • eng
  • fre
  • eng
Is translation of
Cataloging source
UMI
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Jard, Claude
  • Roux, Olivier H
http://library.link/vocab/subjectName
  • Embedded computer systems
  • Embedded computer systems
  • Embedded computer systems
  • Computer software
  • Formal methods (Computer science)
Label
Communicating embedded systems : software and design : formal methods, edited by Claude Jard, Olivier H. Roux
Link
http://databases.mvlc.org/connect/safari?uiCode=&xmlId=9781118600092
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
ocn857718082
Dimensions
unknown
Extent
1 online resource (1 volume)
Form of item
  • online
  • electronic
Isbn
9781118600092
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
Stock number
CL0500000277
Label
Communicating embedded systems : software and design : formal methods, edited by Claude Jard, Olivier H. Roux
Link
http://databases.mvlc.org/connect/safari?uiCode=&xmlId=9781118600092
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
ocn857718082
Dimensions
unknown
Extent
1 online resource (1 volume)
Form of item
  • online
  • electronic
Isbn
9781118600092
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
Stock number
CL0500000277

Library Locations

    • Merrimack Valley Library ConsortiumBorrow it
      4 High Street, Suite 175, North Andover, MA, 01845, US
      42.7009413 -71.1255084
Processing Feedback ...