Reactive systems
Reactive systems
Luca Aceto
Details
OL Work ID
OL16940323W
Subjects
Expert systems (Computer science)
Validation
Verification
System design
Mathematical models
Computer software, verification
Computer science, mathematics
Find this book
Open Library