Comparative metric semantics of programming languages : nondeterminism and recursion /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Boston :
Birkhäuser,
c1998.
|
| Շարք: | Progress in theoretical computer science
|
| Խորագրեր: |
CARM 1 Store
| Դասիչ: |
A2:AN14A0 B06356 |
|---|---|
| Պատճեն 1 | Հասանելի է Տեղադրեք պահում |