Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking تمت الكتابة بواسطة Drusinsky, Doron وتم النشر بواسطة Newnes. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking هي 9780750679497, 9780080481470, 0080481477 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9780750679497, 0750679492. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking تمت الكتابة بواسطة Drusinsky, Doron وتم النشر بواسطة Newnes. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking هي 9780750679497, 9780080481470, 0080481477 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9780750679497, 0750679492. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.