| Record ID | ia:softwaredevelopm0000word |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/softwaredevelopm0000word/softwaredevelopm0000word_marc.xml |
| Download MARC binary | https://www.archive.org/download/softwaredevelopm0000word/softwaredevelopm0000word_meta.mrc |
LEADER: 00872pam a2200241 a 4500
001 92015874
003 DLC
005 19991026122755.0
008 920429s1992 enka b 001 0 eng
010 $a 92015874
020 $a0201627574
040 $aDLC$cDLC$dDLC
050 00 $aQA76.73.Z2$bW67 1992
082 00 $a005.1/2$220
100 1 $aWordsworth, J. B.
245 10 $aSoftware development with Z :$ba practical approach to formal methods in software engineering /$cJ.B. Wordsworth.
260 $aWokingham, England ;$aReading, Mass. :$bAddison-Wesley Pub. Co.,$c1992.
300 $axii, 334 p. :$bill. ;$c24 cm.
440 0 $aInternational computer science series
504 $aIncludes bibliographical references (p. 321-324) and index.
650 0 $aZ (Computer program language)
650 0 $aComputer software$xDevelopment.
650 0 $aFormal methods (Computer science)