Author books / Книги автора Helmut A. Partsch » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Helmut A. Partsch

book Specification and Transformation of Programs: A Formal Approach to Software Development

Specification and Transformation of Programs: A Formal Approach to Software Development

djvu

Author: Helmut A. Partsch
Language: English
Year: 1990

00

27.01.2024

0

0

book Specification and Transformation of Programs: A Formal Approach to Software Development

Specification and Transformation of Programs: A Formal Approach to Software Development

pdf

Author: Helmut A. Partsch
Language: English
Year: 1990

00

27.01.2024

1

0

book Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

Formal Program Development: IFIP TC2/WG 2.1 State-of-the-Art Report

djvu

Author: Bernhard Möller Helmut A. Partsch Stephen A. Schuman (auth.) Bernhard Möller Helmut Partsch Steve Schuman (eds.)
Language: English
Year: 1993

00

26.01.2024

0

0

Popular books

Кубановедение. 8 класс

Кубановедение. 8 класс

Трехбратов Б.А. Бодяев Ю.М. и др.

Data structures and algorithms using Python

Data structures and algorithms using Python

Rance D. Necaise

Психологическая помощь в специальном образовании

Психологическая помощь в специальном образовании

Левченко Ирина Юрьевна

Mother Gooses nursery rhymes : a collection of alphabets, rhymes, tales, and jingles

Mother Gooses nursery rhymes : a collection of alphabets,

Crane Walter 1845-1915, Gilbert John Sir 1817-1897,

MyGrammarLab B1/B2 Answer Key

MyGrammarLab B1/B2 Answer Key

Foley Mark Hall Diane.

Recommended