Cover of Formal methods for real-time computing

Formal methods for real-time computing

by Constance Heitmeyer, Dino Mandrioli

Real-time data processingFormal methods (Computer science)

xvii, 271 p. : 24 cm

For young readers

Book data: Open Library