OLDEROG, Ernst-Rudiger
Real-time Systems Formal Specification and Automatic Verfication - United State of America Cambridge 2008 - xvi,320pp Illustration 25cm
9780521883337
004.33 OLD
Real-time Systems Formal Specification and Automatic Verfication - United State of America Cambridge 2008 - xvi,320pp Illustration 25cm
9780521883337
004.33 OLD