ISBN-13: 9781107403864 / Angielski / Miękka / 2012 / 200 str.
The research contained in this book represents work on the specification and verification of real-time systems.
Czytaj nas na: