Filtre: Calculatoare şi IT

Cărți de Hans Langmaack

Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

Lecture Notes in Computer Science, nr. 1536

Editat de Willem-Paul de Roever et al.

18 dec 1998

Preț: 638^.51 lei 798^.13 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ț: 632^.17 lei 790^.22 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ț: 645^.49 lei 806^.86 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^.51 lei 418^.13 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ț: 313^.06 lei 391^.32 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^.76 lei 438^.45 lei

6-8 săpt.

-20%