Ergebnisse für: Reasoning about Programs
Hier findest Du Bücher, die sich mit Reasoning about Programs beschäftigen.
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute fro...
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute wan...
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute fro...
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute wan...
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute fro...
The proceedings of the fourth Vienna Development Method
Symposium, VDM '91, are published here in two volumes.
Previous VDM symposia were held in 1987 (LNCS 252), 1988
(LNCS 328), and 1990 (LNCS 428).
The VDM symposia have been organized by the VDM Europe,
formed in 1985 as an advisory board ...
The proceedings of the fourth Vienna Development Method
Symposium, VDM'91, are published here in two volumes.
Previous VDM symposia were held in 1987 (LNCS 252), 1988
(LNCS 328), and 1990 (LNCS 428).
The VDM symposia have been organized by VDM Europe, formed
in 1985 as an advisory board sponsored ...
The proceedings of the fourth Vienna Development Method
Symposium, VDM '91, are published here in two volumes.
Previous VDM symposia were held in 1987 (LNCS 252), 1988
(LNCS 328), and 1990 (LNCS 428).
The VDM symposia have been organized by the VDM Europe,
formed in 1985 as an advisory board ...
The proceedings of the fourth Vienna Development Method
Symposium, VDM'91, are published here in two volumes.
Previous VDM symposia were held in 1987 (LNCS 252), 1988
(LNCS 328), and 1990 (LNCS 428).
The VDM symposia have been organized by VDM Europe, formed
in 1985 as an advisory board sponsored ...