Konu (Topic): thema EDItEUR::C Language and Linguistics::CF Linguistics
Konu (Topic): conceptual semantics
Yazar: Balogh, Kata
Yazar: Lochbihler, Andreas
Benzer Materyaller: Sémantique formelle: Volume 1
Benzer Materyaller: A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
- Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
- Secteur public et concurrence
- Faire la concurrence
- Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
- Essai sur l’équilibre de la convention de non-concurrence
- Islamic States in Java 1500-1700