6 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
Symbolic and mathematical Logic, Computer logic, Computer programs, Computer science, Computer software, Computer software, development, Congresses, Congrès, Databases, Development, Démonstration théorème, Logic, symbolic and mathematical, Logique, Logique symbolique et mathématique, Logique temporelle, Nebenläufigkeit, Parallel processing (Electronic computers), Parallel programs (Computer programs), Programming languages (Electronic computers), Programming languages (electronic computers), Softwarespezifikation, Spécification, System design, Système concurrent, Systèmes, Conception deID Numbers
- OLID: OL1296806A
Links (outside Open Library)
No links yet. Add one?
September 13, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |