![](https://www.pdfsearch.io/img/ef869f695461da2e83669c07e0deb0af.jpg)
| Document Date: 2009-07-07 10:19:21 Open Document File Size: 202,62 KBShare Result on Facebook
City Tallinn / / Country Estonia / / / Facility Tarmo Uustalu Institute of Cybernetics / Tallinn University of Technology / / IndustryTerm language accounting / data base systems / classical law / / Organization Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics / Tallinn University of Technology / / Person John Major / / Position boolean guard / interpreter / guard / Coq proof assistant / / Technology operating systems / / URL http /
SocialTag |