Anna Ingólfsdóttir
Identifiers
- Open LibraryOL2772416A
Top Subjects
- Computer science, mathematics (1)
- Computer software, verification (1)
- Computer software (1)
- System analysis (1)
- Science (1)
- Computers - Languages / Programming (1)
- Computers / Programming / Software Development (1)
Books by Anna Ingólfsdóttir
Total count: 4
-
Reactive SystemsModelling, Specification and VerificationCambridge University Press2003-01-01
-
Foundations of Software Science and Computational Structures9th International Conference, FOSSACS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, ProceedingsSpringer London, Limited2006-01-01
Reactive SystemsModelling, Specification and VerificationCambridge University Press2007-08-13
Models, Algorithms, Logics and ToolsEssays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th BirthdaySpringer2017-07-25