1. Finite transition systems : semantics of communicating systems, Systemes de transitions finit et semantique des processus communicants. English
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
2. Mathematics for computer science
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematics,Mathematics. ، Computer science - Mathematics
رده :
QA
39
.
2
.
A688
1996
3. Mathematics for computer science
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Mathematics,، Computer science-- Mathematics
رده :
QA
39
.
2
.
A688
1996
4. Rudiments of ]mu[-calculus
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebraic logic,، Monotonic functions,، Fixed point theory,، Lattice theory,، Machine theory
رده :
QA
10
.
A76
2001
