The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 7
of 7
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
categorical semantics
3
program verification
3
programming theory
3
semantics of programming languages
3
synchronization
3
language-based security
2
more ...
program construction
2
programming language design
2
programming methodology
2
02 engineering and technology
1
0202 electrical engineering, electronic engineering, information engineering
1
system specification
1
less ...
Publisher
Language
Content Provider
Year of Publication
Filter