Born | 1956 |
1 work Add another?
Showing all works by author. Would you like to see only ebooks?
Born | 1956 |
Subjects
Automatic theorem proving, Complétude, Compositionnalité, Correction programme, DNP, Dekomposition, Décomposition programme, Démonstration automatique, Modularité, Nebenläufigkeit, Parallel processing (Electronic computers), Parallélisme (informatique), Partiell korrektes Programm, Preuve programme, Processus communicant, Programmverifikation, Réseau processus, TNP, ThéorèmesID Numbers
- OLID: OL1002646A
Links (outside Open Library)
No links yet. Add one?
August 20, 2008 | Edited by RenameBot | fix author name |
April 1, 2008 | Created by an anonymous user | initial import |