Modeling and Verification of Real-time Systems: Formalisms and Software Tools | ISBN 9781848210134

Modeling and Verification of Real-time Systems: Formalisms and Software Tools

Buchcover Modeling and Verification of Real-time Systems: Formalisms and Software Tools  | EAN 9781848210134 | ISBN 1-84821-013-2 | ISBN 978-1-84821-013-4

Modeling and Verification of Real-time Systems: Formalisms and Software Tools

Quelle: amazon.de, abgerufen am 15.07.2025 17:47:33