Communicating Embedded Systems for Computer Science

by Claude Jard (Author), OlivierRoux (Author)

New
Hardcover
2009
$96.81

Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.

Synopsis

Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.

$96.81

Save:$1.47 (1%)

Quantity

Temporarily out of stock

More Information

Format: Hardcover
Pages: 288
Publisher: Wiley-Blackwell
Published: 06 Nov 2009
ISBN 10: 1848211430
ISBN 13: 9781848211438

Communicating Embedded Systems for Computer Science

New

$96.81

Synopsis

$96.81

More Information