• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Program Specification
  • Description
Language
  • Advanced
Cover Image
Read Now

Program Specification Proceedings of a Workshop Aarhus, Denmark, August 1981

Bibliographic Details
Main Author: Staunstrup, Jørgen
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1982, 1982
Series:Lecture Notes in Computer Science
Online Access:
http://dx.doi.org/10.1007/3-540-11490-4?nosfx=y
Collection: Springer Lecture Notes Archiv 1964-1996 - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Staff View
Description
ISBN:9783540114901

Similar Items

  • Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981
    Published: (1982)
  • A Formal Approach to Hardware Design
    by: Staunstrup, Jørgen
    Published: (1994)
  • Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
    by: Luckham, David
    Published: (1990)
  • ECOOP '95 - Object-Oriented Programming : 9th European Conference, Aarhus, Denmark, August 7 - 11, 1995. Proceedings
    Published: (1995)
  • Concurrency, Specification and Programming : Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
    Published: (2023)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...