Coverart for item
The Resource An introduction to discrete mathematics and formal system specification

An introduction to discrete mathematics and formal system specification

Label
An introduction to discrete mathematics and formal system specification
Title
An introduction to discrete mathematics and formal system specification
Creator
Subject
Language
eng
Cataloging source
UkLiU
http://library.link/vocab/creatorName
Ince, D.
Index
no index present
LC call number
QA76.9.M35
LC item number
I53 1988
Literary form
non fiction
Series statement
Oxford applied mathematics and computing science series
http://library.link/vocab/subjectName
  • Computer science
  • System design
Label
An introduction to discrete mathematics and formal system specification
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 341-342) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Machine derived contents note: 1. Commercial Software Development -- 2. Customer Requirements, System Specification, and Natural Language -- 3. Propositional Calculus -- 4. Predicate Calculus -- 5. Set Theory -- 6. Relations and Relational Operators -- 7. Functions and Sequences -- 8. Induction and Recursive Specification -- 9. The Specification Language Z -- 10. Operators and Objects in Z -- 11. The Z Schema Calculus -- 12. Z Specifications in Action -- The University of Lincoln Library System
Dimensions
23 cm.
Extent
xii, 349 pages
Isbn
9780198596646
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Label
An introduction to discrete mathematics and formal system specification
Publication
Bibliography note
Includes bibliographical references (pages 341-342) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Machine derived contents note: 1. Commercial Software Development -- 2. Customer Requirements, System Specification, and Natural Language -- 3. Propositional Calculus -- 4. Predicate Calculus -- 5. Set Theory -- 6. Relations and Relational Operators -- 7. Functions and Sequences -- 8. Induction and Recursive Specification -- 9. The Specification Language Z -- 10. Operators and Objects in Z -- 11. The Z Schema Calculus -- 12. Z Specifications in Action -- The University of Lincoln Library System
Dimensions
23 cm.
Extent
xii, 349 pages
Isbn
9780198596646
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n

Library Locations

    • Brunswick Library StoreBorrow it
      Liverpool, GB
Processing Feedback ...