Bernd Krieg-Brückner – författare
Visar alla böcker från författaren Bernd Krieg-Brückner. Handla med fri frakt och snabb leverans.
6 produkter
Spatial Cognition IV, Reasoning, Action, Interaction
International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
Av Christian Freksa, Markus Knauff m. fl.
Häftad, 2005
1126 kr
Lägg i varukorg
This is the fourth volume in a series of books dedicated to basic research in spatial cognition. Spatial cognition is a field that investigates the connection between the physical spatial world and the mental world. Philosophers and researchers have p- posed various views concerning the relation …
Spatial Cognition IV, Reasoning, Action, Interaction
International Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers
Av Thomas Barkowsky, Bernhard Nebel m. fl.
E-bok, 2005
1459 kr
Lägg i varukorg
This is the fourth volume in a series of books dedicated to basic research in spatial cognition. Spatial cognition is a field that investigates the connection between the physical spatial world and the mental world. Philosophers and researchers have p- posed various views concerning the relation …
ESOP '92
4th European Symposium on Programming, Rennes, France, February 26-28, 1992. Proceedings
Häftad, 1992
566 kr
Lägg i varukorg
This volume contains selected papers presented at theEuropean Symposium on Programming (ESOP) held jointly withthe seventeeth Colloquium on Trees in Algebra andProgramming (CAAP) in Rennes, France, February 26-28, 1992(the proceedings of CAAP appear in LNCS 581). The previoussymposiawere held in …
Program Development by Specification and Transformation
The PROSPECTRA Methodology, Language Family, and System
Av Berthold Hoffmann, Bernd Krieg-Brückner
Häftad, 1993
1126 kr
Lägg i varukorg
This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram development by SPECificationand TRAnsformation) that aims to provide a rigorousmethodology for developing correct software and acomprehensive support system. The results are substantial: atheoretically …
Algebraic Foundations of Systems Specification
Av Bernd Krieg-Bruckner, Hans-Jorg Kreowski m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the …
Algebraic Foundations of Systems Specification
Av Egidio Astesiano, Hans-Jörg Kreowski m. fl.
Häftad, 2011
566 kr
Lägg i varukorg
The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the …
