Home Advanced Search

Advanced Search - Page 1

Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop Oslo, Norway, September 19–23, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Bernd Krieg-Brückner (auth.), Magne Haveraaen, Olaf Owe, Ole-Johan Dahl (eds.)
ANNA A Language for Annotating Ada Programs
  • DJVU
  • English
  • Year: 1987
  • Author: David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe (eds.)
ANNA A Language for Annotating Ada Programs
  • PDF
  • English
  • Year: 1987
  • Author: David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe (eds.)
Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System
  • DJVU
  • English
  • Year: 1993
  • Author: Bernd Krieg-Brückner (auth.), Berthold Hoffmann, Bernd Krieg-Brückner (eds.)
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.)
Casl Reference Manual: The Complete Documentation of the Common Algebraic Specification Language
  • PDF
  • English
  • Year: 2004
  • Author: Bernd Krieg-Brückner, Peter D. Mosses (auth.), Peter D. Mosses (eds.)
VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings
  • PDF
  • English
  • Year: 1990
  • Author: Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)
VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings
  • DJVU
  • English
  • Year: 1990
  • Author: Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: S. L. Bloom, Z. Ésik (auth.), Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)
search