1. The Imperative future :principles of executable temporal logic
Author: edited by Howard Barringer ... ]et al.[
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
D47
I47
1996
2. The imperative future: principles of executable tomporal logic
Author: edited by Howard Barringer ... ]et al[
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
Classification :
QA
76
.
76
.
D47
1996
