Coverart for item
The Resource Formal specification and software development, [by] Dines Bjorner and Cliff B. Jones; in collaboration with ... [others]

Formal specification and software development, [by] Dines Bjorner and Cliff B. Jones; in collaboration with ... [others]

Label
Formal specification and software development
Title
Formal specification and software development
Statement of responsibility
[by] Dines Bjorner and Cliff B. Jones; in collaboration with ... [others]
Creator
Contributor
Subject
Language
eng
http://library.link/vocab/creatorDate
1937-
http://library.link/vocab/creatorName
Bjørner, D.
Index
no index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorDate
1944-
http://library.link/vocab/relatedWorkOrContributorName
Jones, C. B.
Series statement
Prentice-Hall international series in computer science
http://library.link/vocab/subjectName
  • Electronic digital computers
  • Programming languages (Electronic computers)
Label
Formal specification and software development, [by] Dines Bjorner and Cliff B. Jones; in collaboration with ... [others]
Instantiates
Publication
Isbn
9780133290035
Label
Formal specification and software development, [by] Dines Bjorner and Cliff B. Jones; in collaboration with ... [others]
Publication
Isbn
9780133290035

Library Locations

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