Search
Feedback
About UniCat 
Help
News
| Listing 1 - 4 of 4 |
Sort by
|
Book
Year: 1993 Publisher: Cambridge, Mass. : MIT Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Article
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540156704 0387156704 3540395938 9783540156703 Year: 1985 Volume: 197 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer science --- #TCPW:boek --- 681.3*C24 --- 681.3*D13 --- 681.3*D3 --- 681.3*F3 --- 681.3*F4 --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- Concurrent programming --- Programming languages --- Logics and meanings of programs (Theory of computation) --- Mathematical logic and formal languages (Theory of computation) --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*D3 Programming languages --- 681.3*D13 Concurrent programming --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- Parallel processing (Electronic computers) --- Congresses. --- Software engineering. --- Computer science. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Computation by Abstract Devices. --- Informatics --- Science --- Computer software engineering --- Engineering
ISBN: 0262231697 9780262291453 9780262731034 0262291452 9780262231695 0262731037 Year: 1993 Publisher: Cambridge, Massachusetts [Piscataqay, New Jersey] MIT Press IEEE Xplore
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming languages (Electronic computers) --- Semantics. --- Programming --- Semantics --- Langages de programmation --- Sémantique --- Informatique --- Computer science --- Sémantique --- Programming languages (Electronic computers) - Semantics. --- operational-semantics --- denotational-semantics --- axiomatic-semantics --- domain-theory --- information-systems --- recursive-types --- nondeterminism --- Parallelism --- Programming languages (Electronic computers) - Semantics
| Listing 1 - 4 of 4 |
Sort by
|