| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:434544091:1732 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:434544091:1732?format=raw |
LEADER: 01732fam a2200385 a 4500
001 1475768
005 20220602043137.0
008 931222t19941994njua b 001 0 eng
010 $a 93050696
020 $a1567500331
020 $a156750034X (pbk.)
035 $a(OCoLC)29595552
035 $a(OCoLC)ocm29595552
035 $9AHZ8166CU
035 $a(NNC)1475768
035 $a1475768
040 $aDLC$cDLC$dDLC
050 00 $aQA76.758$b.G37 1994
082 00 $a005.1/2$220
100 1 $aGannon, John D.,$d1948-$0http://id.loc.gov/authorities/names/n78090726
245 10 $aSoftware specification :$ba comparison of formal methods /$cby John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz.
260 $aNorwood, N.J. :$bAblex Pub. Co.,$c[1994], ©1994.
300 $axi, 249 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aComputer-based information systems in organizations
504 $aIncludes bibliographical references (p. 237-242) and indexes.
505 0 $a1. Introduction -- 2. The Axiomatic Approach -- 3. Functional Correctness -- 4. Predicate Transformers -- 5. Algebraic Specifications -- 6. Denotational Semantics -- 7. Specification Models.
650 0 $aSoftware engineering.$0http://id.loc.gov/authorities/subjects/sh87007398
650 0 $aComputer software$vSpecifications.
700 1 $aPurtilo, James.$0http://id.loc.gov/authorities/names/n82224094
700 1 $aZelkowitz, Marvin V.,$d1945-$0http://id.loc.gov/authorities/names/n78090725
830 0 $aComputer-based information systems in organizations.$0http://id.loc.gov/authorities/names/n83731030
852 00 $boff,eng$hQA76.758$i.G37 1994