| Record ID | marc_records_scriblio_net/part27.dat:97657079:863 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part27.dat:97657079:863?format=raw |
LEADER: 00863cam 2200241 a 4500
001 98050694
003 DLC
005 19990611140402.1
008 981103s1999 enka b 001 0 eng
010 $a 98050694
020 $a3540762264 (pbk. : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.S88$bH52 1999
082 00 $a004.2/1$221
245 00 $aHigh-integrity system specification and design /$cJonathon P. Bowen and Michael G. Hinchey.
260 $aLondon ;$aNew York :$bSpringer,$cc1999.
300 $axix, 701 p. :$bill. ;$c24 cm.
440 0 $aFormal approaches to computing and information technology
504 $aIncludes bibliographical references (p. [665]-677) and index.
650 0 $aSystem design.
650 0 $aSystem analysis.
700 1 $aBowen, J. P.$q(Jonathan Peter),$d1956-
700 1 $aHinchey, Michael G.$q(Michael Gerard),$d1969-