4 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 programs, Verification, Computer science, Computer software, Computing Methodologies, Congresses, Cryptology and Information Theory Data Structures, Data structures (Computer science), Electronic data processing, Formal methods (Computer science), Informatique, Logic, Logic design, Logic, symbolic and mathematical, Logiciels, Mathematical Logic and Foundations, Parallel processing (Electronic computers), Parallel processing (electronic computers), Parallel programs (Computer programs), Parallelisme (Informatique), Parallelverarbeitung, Philosophy, Philosophy (General), Programmierung, ProgrammverifikationID Numbers
- OLID: OL4836590A
Links (outside Open Library)
No links yet. Add one?
September 19, 2008 | Created by ImportBot | Imported from Talis record |