Subjects
Computer programming, Congresses, Congrès, Logiciels, Logique programmation, Logique temporelle, Programmation (Informatique), Programmation logique, Symbolic and mathematical Logic, Sémantique programme, Vérification programmeID Numbers
- OLID: OL4039211A
Links outside Open Library
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |