Hans Langmaack – författare

Visar alla böcker från författaren Hans Langmaack. Handla med fri frakt och snabb leverans.

7 produkter

1. 

   1. Fachtagung über Programmiersprachen

   München, 9.–11. März 1971

   Av Hans Langmaack, Manfred Paul

   Häftad, 1972

   583 kr

   Lägg i varukorg

2. 

   Compositionality: The Significant Difference

   International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

   Av Amir Pnueli, Hans Langmaack m. fl.

   E-bok, 2003

   1502 kr

   Lägg i varukorg

   This book originates from the International Symposium on Compositionality, COMPOS''97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a …

3. 

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

   Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings

   Av Dines Bjørner, C.A.R. Hoare m. fl.

   Häftad, 1990

   567 kr

   Lägg i varukorg

   The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering …

4. 

   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

   Av Hans Langmaack, Willem-Paul de Roever m. fl.

   Häftad, 1994

   1128 kr

   Lägg i varukorg

   This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994.The book contains full versions of 5 invited talks and 33 …

5. 

   Formal Methods for Industrial Applications

   Specifying and Programming the Steam Boiler Control

   Av Jean-Raymond Abrial, Egon Börger m. fl.

   Häftad, 1996

   1095 kr

   Lägg i varukorg

   This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a …

6. 

   Compositionality: The Significant Difference

   International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures

   Av Willem-Paul de Roever, Hans Langmaack m. fl.

   Häftad, 1998

   1128 kr

   Lägg i varukorg

   This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a …

7. 

   1. Fachtagung über Programmiersprachen

   München, 9.–11. März 1971

   Av Manfred Paul, Hans Langmaack

   E-bok, 2013

   518 kr

   Lägg i varukorg