2 द्वारा ईबुक Moshe Y. Vardi
Doron A. Peled & Moshe Y. Vardi: Formal Techniques for Networked and Distributed Systems – FORTE 2002
The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11-14. …
PDF
अंग्रेज़ी
DRM
€57.14
Erich Gradel & Phokion G. Kolaitis: Finite Model Theory and Its Applications
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational …
PDF
अंग्रेज़ी
DRM
€86.97
