Coverart for item
The Resource Practical formal methods with VDM

Practical formal methods with VDM

Label
Practical formal methods with VDM
Title
Practical formal methods with VDM
Creator
Contributor
Subject
Language
eng
Cataloging source
UkLiU
http://library.link/vocab/creatorName
Andrews, D.
Index
no index present
LC call number
QA76.76.D47
LC item number
A52 1991
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
Ince, D.
Series statement
Mcgraw-Hill international series in software engineering
http://library.link/vocab/subjectName
Computer software
Label
Practical formal methods with VDM
Instantiates
Publication
Bibliography note
Includes bibliographical references 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
Dimensions
25 cm.
Extent
xvi, 450 pages
Isbn
9780077072148
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Practical formal methods with VDM
Publication
Bibliography note
Includes bibliographical references 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
Dimensions
25 cm.
Extent
xvi, 450 pages
Isbn
9780077072148
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

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