7 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 software, Formal methods (Computer science), Logiciels, Specifications, Calcul propositionnel, Computer programming, Computer science, Contrats et spécifications, Development, Développement, Génie logiciel, Logique premier ordre, Méthodes formelles (Informatique), Programmation (Informatique), Spécification formelle, Spécification logiciel, Spécifications, System design, Système formelID Numbers
- OLID: OL3127131A
Links (outside Open Library)
No links yet. Add one?
April 30, 2008 | Created by an anonymous user | initial import |