5 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Software engineering, Aspect-oriented programming, Computer science, Computer software, Computer software, verification, Congresses, Embedded computer systems, Formal methods (Computer science), Information networks, Logic design, Testing, Ubiquitous computing, VerificationID Numbers
- OLID: OL7215361A
Links outside Open Library
No links yet. Add one?
July 30, 2014 | Created by ImportBot | import new book |