| Record ID | harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:459946619:1307 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:459946619:1307?format=raw |
LEADER: 01307nam a2200325 a 4500
001 000583343-4
005 20020606090541.3
008 860814s1986 wb a b 10000 eng
010 $a 86195028
020 $a0387164448 (pbk.)
020 $a3540164448
035 0 $aocm17384515
035 0 $aocm13876557
040 $aDLC$cDLC$dMCS
050 0 $aQA76.76.D47$bM37 1986
082 0 $a005.1$219
245 00 $aMathematical methods of specification and synthesis of software systems '85 :$bproceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985 /$cedited by W. Bibel and K.P. Jantke.
260 0 $aBerlin ;$aNew York :$bSpringer,$cc1986.
300 $a245 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v215
490 1 $a[Mathematical research =$aMathematische Forschung ;$vBd. 31]
504 $aIncludes bibliographies.
650 0 $aComputer software$xDevelopment$vCongresses.
655 7 $aConference proceedings.$2fast
700 1 $aBibel, W.,$d1938-
700 1 $aJantke, K. P.$q(Klaus P.)
776 08 $iOnline version:$tMathematical methods of specification and synthesis of software systems '85.$dBerlin ; New York : Springer, ©1986$w(OCoLC)570541136
830 0 $aMathematical research ;$vBd. 31.
988 $a20020608
906 $0DLC