Cărți de Bernd Krieg-Brückner

Algebraic Foundations of Systems Specification

IFIP State-of-the-Art Reports

Editat de Egidio Astesiano et al.

21 oct 2011

Preț: 341^.88 lei 427^.35 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 3343

Editat de Christian Freksa et al.

mar 2005

Preț: 661^.51 lei 826^.89 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 680

Editat de Berthold Hoffmann et al.

30 aug 1993

Preț: 649^.39 lei 811^.74 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 582

Editat de Bernd Krieg-Brückner

19 feb 1992

Preț: 352^.39 lei 440^.49 lei

6-8 săpt.

-20%