A

Andrzej Blikle

10 books found

Books by Andrzej Blikle
MetaSoft primerAndrzej Blikle
⏱ 2h 20m

MetaSoft primer

Andrzej Blikle

1987140 pp.
Automaty i gramatykiAndrzej Blikle
⏱ 3h 50m

Automaty i gramatyki

Andrzej Blikle

1971230 pp.
Equations in netsAndrzej Blikle
⏱ 31m

Equations in nets

Andrzej Blikle

197331 pp.
An algebraic approach to mathematical theory of programsAndrzej Blikle
⏱ 1h 0m

An algebraic approach to mathematical theory of programs

Andrzej Blikle

197360 pp.
An extended approach to mathematical analysis of programsAndrzej Blikle
⏱ 1h 58m

An extended approach to mathematical analysis of programs

Andrzej Blikle

1974118 pp.
Algorithmically definable functionsAndrzej Blikle
⏱ 56m

Algorithmically definable functions

Andrzej Blikle

197156 pp.
Equations in a space of languagesAndrzej Blikle
⏱ 42m

Equations in a space of languages

Andrzej Blikle

197142 pp.
Specified programmingAndrzej Blikle
⏱ 24m

Specified programming

Andrzej Blikle

197824 pp.
A survey of imput-output semantics and program verificationAndrzej Blikle
⏱ 1h 4m

A survey of imput-output semantics and program verification

Andrzej Blikle

197964 pp.
Why denotational?Andrzej Blikle
⏱ 54m

Why denotational?

Andrzej Blikle

199054 pp.