Filtre: Engleză Springer Berlin, Heidelberg

Cărți de Hans Langmaack

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%