CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource)
Resource Information
The instance CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource) represents a material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Instance, Electronic.
The Resource
CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource)
Resource Information
The instance CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource) represents a material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Instance, Electronic.
- Label
- CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource)
- Title remainder
- Introduction to Using the Common Algebraic Specification Language
- Medium
- electronic resource
- Statement of responsibility
- edited by Michel Bidoit, Peter D. Mosses
- Antecedent source
- mixed
- Carrier category
- online resource
- Carrier category code
- cr
- Carrier MARC source
- rdacarrier
- Color
- not applicable
- Content category
- text
- Content type code
- txt
- Content type MARC source
- rdacontent
- Contents
- Background -- 1 Introduction -- 2 Underlying Concepts -- Casl Specifications -- 3 Getting Started -- 4 Partial Functions -- 5 Subsorting -- 6 Structuring Specifications -- 7 Generic Specifications -- 8 Specifying the Architecture of Implementations -- 9 Libraries -- Carrying On -- 10 Foundations -- 11 Tools -- 12 Basic Libraries -- 13 Case Study: The Steam-Boiler Control System -- Appendices -- A Casl Quick Reference -- B Points to Bear in Mind -- C The Steam-Boiler Control Specification Problem
- Dimensions
- unknown
- Extent
- XIV, 246 p.
- File format
- multiple file formats
- Form of item
- electronic
- Isbn
- 9783540443971
- Level of compression
- uncompressed
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
- c
- Other control number
- 10.1007/b11968
- Other physical details
- online resource.
- Quality assurance targets
- absent
- Record ID
- 992079279301161
- Reformatting quality
- access
- Specific material designation
- remote
- System control number
- (DE-He213)978-3-540-44397-1
Context
Context of CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource)Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/iZXwNAep7rs/" typeof="Book http://bibfra.me/vocab/lite/Instance"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/iZXwNAep7rs/">CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Instance CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/resource/iZXwNAep7rs/" typeof="Book http://bibfra.me/vocab/lite/Instance"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/resource/iZXwNAep7rs/">CASL User Manual : Introduction to Using the Common Algebraic Specification Language, edited by Michel Bidoit, Peter D. Mosses, (electronic resource)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
