Communicating embedded systems : software and design : formal methods
Title:
Communicating embedded systems : software and design : formal methods
Author:
Jard, Claude.
ISBN:
9781118558188
9781118600122
9781118600092
9781848211438
9781299187450
Uniform Title:
Approches formelles des systèmes embarqués communicants. English.
Publication Information:
London : ISTE, Ltd. ; Hoboken : Wiley, 2010.
Physical Description:
1 online resource (275 pages)
Series:
ISTE
ISTE.
Local Note:
O'Reilly
Subject Term:
Genre:
Holds: Copies: