Тема, жанр, tags: Algebra.,Programming languages (Electronic computers) -- Semantics. » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Algebra.,Programming languages (Electronic computers) -- Semantics.

book Algebraic Semantics of Imperative Programs

Algebraic Semantics of Imperative Programs

djvu

Author: Joseph A. Goguen Grant Malcolm
Language: English
Year: 1996

00

29.01.2024

3

0

book Introduction to the theory of programming languages

Introduction to the theory of programming languages

pdf

Author: Lévy Jean-Jacques, Dowek Gilles
Language: English
Year: 2011

00

29.01.2024

2

0

book Logic Programming: Operational Semantics and Proof Theory

Logic Programming: Operational Semantics and Proof Theory

djvu

Author: James H. Andrews
Language: English
Year: 1992

00

29.01.2024

0

0