MARC record from Internet Archive

LEADER: 04595cam 2200841 a 4500
001 ocm16646769
003 OCoLC
005 20221014123540.0
008 870815s1987 gw a b 100 0 eng
010 $a 87023397
040 $aDLC$beng$cDLC$dMUQ$dNLGGC$dBAKER$dBTCTA$dYDXCP$dGBVCP$dHEBIS$dZWZ$dTFW$dBDX$dOCLCO$dOCLCF$dOCLCQ$dOCLCO$dOCLCQ$dOCL$dOCLCO$dDEBSZ$dOCLCQ$dOCLCO$dOCLCQ$dOCLCA$dOCLCO
015 $a88,A05,0976$2dnb
016 7 $a871259885$2DE-101
019 $a190828784$a811367218
020 $a0387183418$q(U.S. ;$qpbk.)
020 $a9780387183411$q(U.S. ;$qpbk.)
020 $a3540183418
020 $a9783540183419
035 $a(OCoLC)16646769$z(OCoLC)190828784$z(OCoLC)811367218
050 00 $aQA76.9.S88$bC73 1986
082 00 $a004.2/5$219
084 $a54.52$2bcl
084 $a*68-06$2msc
084 $a00B25$2msc
084 $a28$2sdnb
111 2 $aCRAI Workshop on Software Factories and Ada$d(1986 :$cCapri, Italy)
245 10 $aSystem development and Ada /$cCRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, proceedings ; A.N. Habermann, U. Montanari, eds.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c©1987.
300 $a305 pages :$billustrations ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aLecture notes in computer science ;$v275
504 $aIncludes bibliographical references.
505 0 $aDesign of the rational environment / James E. Archer, Jr. -- The PCTE initiative / Ferdinando Gallo -- Engineering VAX Ada for a multi-language programming environment / Charles Z. Mitchell -- The Ada environment -- a personal view / Vic Stenning -- Knowledge-based software development from requirements to code / Stephen J. Westfold, Lawrence Z. Markosian, William A. Brew -- SMoLCS approach to the formal semantics of programming languages / Egidio Astesiano, Gianna Reggio -- Project graphs and Meta-programs / Dines Bjørner -- Software development based on formal methods / Cliff B. Jones -- Integration of program construction and verification / Bernd Krieg-Brückner -- Ada compiler validation / John B. Goodenough -- The Software Engineering Institute at Carnegie Mellon University / A. Nico Habermann -- Task sequencing language for specifying distributed Ada systems / David C. Luckham [and others].
530 $aSome issues available on the Internet. Access restricted to members of the Tufts University community.
538 $aMode of access: World Wide Web.
650 0 $aSystem design$vCongresses.
650 0 $aComputer software$xDevelopment$vCongresses.
650 0 $aAda (Computer program language)$vCongresses.
650 0 $aAda (Computer program language)$xCongresses.
650 6 $aConception de systèmes$vCongrès.
650 6 $aLogiciels$xDéveloppement$vCongrès.
650 6 $aAda (Langage de programmation)$xCongrès.
650 6 $aAda (Langage de programmation)$vCongrès.
650 7 $aAda (Computer program language)$2fast$0(OCoLC)fst00796426
650 7 $aComputer software$xDevelopment.$2fast$0(OCoLC)fst00872537
650 7 $aSystem design.$2fast$0(OCoLC)fst01141401
650 7 $aSoftwareentwicklung$2gnd
650 7 $aAda$2gnd
650 17 $aADA.$2gtt
651 7 $aCapri <1986>$2swd
655 4 $aElectronic resources (Books)
655 7 $aConference papers and proceedings.$2fast$0(OCoLC)fst01423772
700 1 $aHabermann, A. Nico,$d1932-
700 1 $aMontanari, U.$q(Ugo)
776 08 $iOnline version:$aCRAI Workshop on Software Factories and Ada (1986 : Capri, Italy).$tSystem development and Ada.$dBerlin ; New York : Springer-Verlag, ©1987$w(OCoLC)568677530
830 0 $aLecture notes in computer science ;$v275.
856 41 $3(n.149, 1983 - current) available via SpringerLink$uhttp://www.library.tufts.edu/ezproxy/ezproxy.asp?LOCATION=SpLinkLeNoCoSc
856 41 $3Table of contents$uhttp://www.gbv.de/dms/bowker/toc/9783540183419.pdf
856 42 $uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0627.68004$3Inhaltstext
938 $aBaker & Taylor$bBKTY$c59.95$d59.95$i0387183418$n0001281375$sactive
938 $aBrodart$bBROD$n38795876$c$25.70
938 $aBaker and Taylor$bBTCP$n87023397
938 $aYBP Library Services$bYANK$n320011
029 1 $aAU@$b000005514091
029 1 $aDEBSZ$b013368737
029 1 $aGBVCP$b024099511
029 1 $aHEBIS$b009324887
029 1 $aNLGGC$b041023404
029 1 $aNZ1$b3252520
994 $aZ0$bGTX
948 $hNO HOLDINGS IN GTX - 222 OTHER HOLDINGS