The Resource Program correctness over abstract data types, with error-state semantics, J.V. Tucker, J.I. Zucker

Program correctness over abstract data types, with error-state semantics, J.V. Tucker, J.I. Zucker

Label
Program correctness over abstract data types, with error-state semantics
Title
Program correctness over abstract data types, with error-state semantics
Statement of responsibility
J.V. Tucker, J.I. Zucker
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorDate
1952-
http://library.link/vocab/creatorName
Tucker, J. V.
Index
no index present
LC call number
QA76.6
LC item number
.T83 1988
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1942-
http://library.link/vocab/relatedWorkOrContributorName
Zucker, J. I.
http://library.link/vocab/subjectName
  • Computer programming
  • Abstract data types (Computer science)
  • calculabilité
  • vérification logiciel
  • spécification logiciel
  • correction programme
  • programme récursif
  • type abstrait
  • Abstract data types (Computer science)
  • Computer programming
  • Ordinateurs
  • Abstrakter Datentyp
  • Programmverifikation
  • Software Engineering
Label
Program correctness over abstract data types, with error-state semantics, J.V. Tucker, J.I. Zucker
Instantiates
Publication
Bibliography note
Bibliography: p. 206-212
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
viii, 212 pages
Isbn
9780444703408
Isbn Type
(U.S.)
Lccn
87030764
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
  • (OCoLC)17209985
  • (OCoLC)ocm17209985
Label
Program correctness over abstract data types, with error-state semantics, J.V. Tucker, J.I. Zucker
Publication
Bibliography note
Bibliography: p. 206-212
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Dimensions
24 cm.
Extent
viii, 212 pages
Isbn
9780444703408
Isbn Type
(U.S.)
Lccn
87030764
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
  • (OCoLC)17209985
  • (OCoLC)ocm17209985

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...