Author books / Книги автора Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Egidio Astesiano,Hans-Jörg Kreowski,Bernd Krieg-Brückner

book Algebraic Foundations of Systems Specification

Algebraic Foundations of Systems Specification

djvu

Author: Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
Language: English
Year: 2011

00

29.01.2024

0

0

book ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

pdf

Author: David C. Luckham Friedrich W. von Henke Bernd Krieg-Brückner Olaf Owe (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book ANNA A Language for Annotating Ada Programs

ANNA A Language for Annotating Ada Programs

djvu

Author: David C. Luckham Friedrich W. von Henke Bernd Krieg-Brückner Olaf Owe (eds.)
Language: English
Year: 1987

00

27.01.2024

0

0

book Spatial Cognition IV, Reasoning, Action, Interaction: International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised

Spatial Cognition IV, Reasoning, Action, Interaction: International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised

pdf

Author: Christian Freksa Markus Knauff Bernd Krieg-Brückner Bernhard Nebel Thomas Barkowsky
Language: English
Year: 2004

00

27.01.2024

0

0

book Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

pdf

Author: Bernd Krieg-Brückner Peter D. Mosses (auth.) Peter D. Mosses (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers

Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers

djvu

Author: Bernd Krieg-Brückner (auth.) Magne Haveraaen Olaf Owe Ole-Johan Dahl (eds.)
Language: English
Year: 1996

00

27.01.2024

0

0

book Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System

Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System

djvu

Author: Bernd Krieg-Brückner (auth.) Berthold Hoffmann Bernd Krieg-Brückner (eds.)
Language: English
Year: 1993

00

27.01.2024

0

0

book ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings

ESOP '92: 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings

djvu

Author: Henrik Reif Andersen (auth.) Bernd Krieg-Brückner (eds.)
Language: English
Year: 1992

00

26.01.2024

0

0

book Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language

pdf

Author: Bernd Krieg-Brückner Peter D. Mosses (auth.) Peter D. Mosses (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0