10 works Add another?
Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random
Showing all works by author. Would you like to see only ebooks?
Subjects
Computer science, Electronic data processing, Bisimulation, COMPUTERS / Networking / General, Coinduction (Mathematics), Computer software, Congresses, Induction (Mathematics), Modality (Logic), Algorithm Analysis and Problem Complexity, Calculus, Computation by Abstract Devices, Computational complexity, Computer networks, Computer networks, security measures, Computer programming, Computer science, mathematics, Computer security, Computer software, validation, Computer software, verification, Computers, congresses, Discrete Mathematics in Computer Science, Formal languages, Lambda calculus, Logic designID Numbers
- OLID: OL2766909A
Links (outside Open Library)
No links yet. Add one?
April 29, 2008 | Created by an anonymous user | initial import |