Benutzerdefiniertes Cover
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)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Lecture notes in computer science ; 469Verlag: Berlin, Heidelberg : Springer Berlin Heidelberg, 1990Beschreibung: 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
Dieser Titel hat keine Exemplare