Cărți de Hans Langmaack

Compositionality: The Significant Difference

Editat de Willem-Paul De Roever et al.

18 dec 1998

Preț: 640^.54 lei 800^.68 lei

6-8 săpt.

-20%

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings

Lecture Notes in Computer Science, nr. 863

Editat de Hans Langmaack et al.

7 sep 1994

Preț: 644^.93 lei 806^.17 lei

6-8 săpt.

-20%

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

Lecture Notes in Computer Science, nr. 428

Editat de Dines Bjørner et al.

4 apr 1990

Preț: 334^.34 lei 417^.93 lei

6-8 săpt.

-20%

LOGLAN '88 - Report on the Programming Language

Lecture Notes in Computer Science, nr. 414

Boleslaw Ciesielski et al.

7 mar 1990

Preț: 312^.92 lei 391^.15 lei

6-8 săpt.

-20%

Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

Lecture Notes in Computer Science, nr. 1165

Editat de Jean-Raymond Abrial et al.

30 oct 1996

Preț: 631^.63 lei 789^.54 lei

6-8 săpt.

-20%

1. Fachtagung über Programmiersprachen: München, 9.–11. März 1971

Lecture Notes in Economics and Mathematical Systems, nr. 75

Editat de Hans Langmaack et al.

30 oct 1972

Preț: 350^.57 lei 438^.22 lei

6-8 săpt.

-20%