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

CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language

Bibliographic Details
Main Author: Mosses, Peter D
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004
Series:Lecture Notes in Computer Science
Subjects:
Computer Science
Logic Design
Software Engineering
Computer Science, General
Logics And Meanings Of Programs
Programming Languages, Compilers, Interpreters
Online Access:
http://dx.doi.org/10.1007/b96103?nosfx=y
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Staff View
Description
Physical Description:v. digital
ISBN:9783540213017
978-3-540-21301-7

Similar Items

  • CASL User Manual : Introduction to Using the Common Algebraic Specification Language
    by: Bidoit, Michel
    Published: (2004)
  • CASL Reference Manual : The Complete Documentation of the Common Algebraic Specification Language
    Published: (2004)
  • CASL User Manual : Introduction to Using the Common Algebraic Specification Language
    by: Bidoit, Michel, et al.
    Published: (2004)
  • Modular Specification and Verification of Object-Oriented Programs
    by: Müller, Peter
    Published: (2002)
  • Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG). Final Report
    by: Ehrig, Hartmut
    Published: (2004)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...