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ț: 348^.89 lei 436^.12 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ț: 675^.17 lei 843^.97 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ț: 662^.80 lei 828^.50 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ț: 359^.63 lei 449^.53 lei

6-8 săpt.

-20%