Principles of Programming Languages

Guardat en:

Dades bibliogràfiques
Autor principal:	Dowek, Gilles
Format:	Llibre
Idioma:	English
Publicat:	Springer London 2020
Matèries:	Computer Science Programming Languages, Compilers, Interpreters Logics and Meanings of Programs
Accés en línia:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83014
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Ítems similars

Programming Languages and Systems
Publicat: (2020)

Inductive Logic Programming
per: Riguzzi, Fabrizio, et al.
Publicat: (2020)

Unifying Theories of Programming
per: Bowen, Jonathan P., et al.
Publicat: (2020)

Multiparadigm Programming in Mozart/Oz
Publicat: (2020)

Program Analysis and Compilation, Theory and Practice
per: Reps, Thomas, et al.
Publicat: (2020)

Logic-Based Program Synthesis and Transformation
per: Hermenegildo, Manuel V, et al.
Publicat: (2020)

Value-Range Analysis of C Programs
per: Simon, Axel
Publicat: (2020)

Practical Aspects of Declarative Languages
per: Calimeri, Francesco, et al.
Publicat: (2020)

Compiler Construction
per: Hendren, Laurie
Publicat: (2020)

Computer Safety, Reliability, and Security
per: Tonetta, Stefano, et al.
Publicat: (2020)

Theoretical Aspects of Computing – ICTAC 2017
per: Hung, Dang Van, et al.
Publicat: (2020)

Critical Systems: Formal Methods and Automated Verification
per: Petrucci, Laure, et al.
Publicat: (2020)

Computer Safety, Reliability, and Security
per: Tonetta, Stefano, et al.
Publicat: (2020)

Rewriting Logic and Its Applications
per: Rusu, Vlad
Publicat: (2020)

Compiler Construction
Publicat: (2020)

Communicating Sequential Processes. The First 25 Years
Publicat: (2020)

Theory and Applications of Formal Argumentation
per: Black, Elizabeth, et al.
Publicat: (2020)

Computer Aided Verification
per: Majumdar, Rupak, et al.
Publicat: (2020)

Compiler Construction
per: Krishnamurthi, Shriram, et al.
Publicat: (2020)

Theoretical Aspects of Computing – ICTAC 2018
per: Fischer, Bernd, et al.
Publicat: (2020)

Verified Software. Theories, Tools, and Experiments
per: Chakraborty, Supratik, et al.
Publicat: (2020)

Programming Languages and Systems
per: Nicola, Rocco De
Publicat: (2020)

Programming Languages and Systems
per: Caires, Luís
Publicat: (2020)

Guide to Assembly Language Programming in Linux
Publicat: (2020)

Accelerator Programming Using Directives
per: Chandrasekaran, Sunita, et al.
Publicat: (2020)

Programming Languages and Systems
per: Ahmed, Amal
Publicat: (2020)

Programming Languages and Systems
per: Shao, Zhong
Publicat: (2020)

Database Programming Languages
Publicat: (2020)

Programming Languages and Systems
Publicat: (2020)

Programming Languages and Systems
Publicat: (2020)

Programming Languages and Systems
per: Yi, Kwangkeun
Publicat: (2020)

Programming Languages and Systems
Publicat: (2020)

Programming Languages and Systems
per: Drossopoulou, Sophia
Publicat: (2020)

Logic, Language, and Computation
Publicat: (2020)

The Agent Modeling Language - AML
Publicat: (2020)

Network Programming with Go
per: Newmarch, Jan
Publicat: (2020)

Functional Programming in R
per: Mailund, Thomas
Publicat: (2020)

Introduction to Programming with Fortran
per: Chivers, Ian, et al.
Publicat: (2020)

Beginning Ada Programming
per: Shvets, Andrew T.
Publicat: (2020)

Systems Programming in Unix/Linux
per: Wang, K.C.
Publicat: (2020)