Semantics of Systems of Concurrent Processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990. Proceedings / by Irene Guessarian
Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 469Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Description: Online-RessourceISBN:- 9783540468974
- Nebenläufigkeit
- Semantik
- Computer science
- Database management
- Logic design
- Logic, Symbolic and mathematical
- Operating systems (Computers)
- Computer Science
- Mathematical Logic and Formal Languages
- Mathematical Logic and Foundations
- Processor Architectures
- Logics and Meanings of Programs
- Operating Systems
- Database Management
- 004/.35
No physical items for this record