Hans Langmaack - Böcker

Visar alla böcker från författaren Hans Langmaack.
5 produkter
Hans Langmaack, Manfred Paul - 1. Fachtagung über Programmiersprachen, Häftad

1. Fachtagung über Programmiersprachen

Av Hans Langmaack, Manfred Paul

Häftad, Tyska, 1972

759 kr

Skickas inom 7-10 vardagar
Dines Bjorner, C. A. R. Hoare, Hans Langmaack, Dines Bjørner, C. a. R. Hoare, C.A.R. Hoare - VDM '90. VDM and Z - Formal Methods in Software Development, Häftad
Del 428 - Lecture Notes in Computer Science

VDM '90. VDM and Z - Formal Methods in Software Development

Av Dines Bjorner, C. A. R. Hoare, Hans Langmaack, Dines Bjørner, C. a. R. Hoare, C.A.R. Hoare

Häftad, Engelska, 1990

729 kr

Skickas inom 7-10 vardagar
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil, Willem-Paul De Roever - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad
Del 863 - Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

Av Hans Langmaack, Willem-Paul de Roever, Jan Vytopil, Willem-Paul De Roever

Häftad, Engelska, 1994

1 449 kr

Skickas inom 7-10 vardagar
Jean-Raymond Abrial, Egon Börger, Hans Langmaack - Formal Methods for Industrial Applications, Häftad
Del 1165 - Lecture Notes in Computer Science

Formal Methods for Industrial Applications

Av Jean-Raymond Abrial, Egon Börger, Hans Langmaack

Häftad, Engelska, 1996

1 409 kr

Skickas inom 7-10 vardagar
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever - Compositionality: The Significant Difference, Häftad
Del 1536 - Lecture Notes in Computer Science

Compositionality: The Significant Difference

Av Willem-Paul de Roever, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever

Häftad, Engelska, 1998

1 449 kr

Skickas inom 7-10 vardagar