LEADER 01514nam--2200409---450- 001 990000310220203316 010 $a3-540-67261-3 035 $a0031022 035 $aUSA010031022 035 $a(ALEPH)000031022USA01 035 $a0031022 100 $a20001206d2000----km-y0itay0103----ba 101 $aeng 102 $aDE 105 $a||||||||001yy 200 1 $aFoundamental approaches to software engineering$ethird International conference, FASE 2000$eheld as part of the Joint European conferences on theory and practice of software, ETAPS 2000$eBerlin, Germany, March 25 April 2, 2000$eproceedings$fTom Maibaum (ed.) 210 $aBerlin$cSpringer Verlag$dc2000 215 $aXII, 374 p.$cill.$d24 cm 225 2 $aLecture notes in compute science$v1783 410 $12001$aLecture notes in compute science$v1783 461 1$1001-------$12001 610 0 $aSoftware$xProgettazione$xCongressi$z2000 610 0 $aCongressi$yBerlino$z2000 676 $a005.1 702 1$aMAIBAUM,$bTom 710 12$aInternational conference, FASE 2000 <3. ; 2000. ; Berlino>$0542334 801 0$aIT$bsalbc$gISBD 912 $a990000310220203316 951 $a001 LNCS (1783)$bCBS 0025039$c001$d00100088 959 $aBK 969 $aSCI 979 $aPATTY$b90$c20001206$lUSA01$h1125 979 $aPATTY$b90$c20001206$lUSA01$h1622 979 $c20020403$lUSA01$h1639 979 $aPATRY$b90$c20040406$lUSA01$h1622 996 $aFoundamental approaches to software engineering$9880845 997 $aUNISA LEADER 02313nam 2200493Ia 450 001 996396529203316 005 20221108082118.0 035 $a(CKB)4330000000328982 035 $a(EEBO)2248522588 035 $a(OCoLC)12931207 035 $a(EXLCZ)994330000000328982 100 $a19851218d1679 uy | 101 0 $alat 135 $aurbn||||a|bb| 200 10$aHenrici Mori Cantabrigiensis Opera omnia tum quĉ Latine?, tum quĉ Anglice? scripta sunt$b[electronic resource] $enunc vero latinitate donata /$finstigatu & impensis generosissimi juvenis Johannis Cockshuti .. 210 $aLondini $cTypis impressa J. Macock, sumptibus autem J. Martyn sub signo campanĉ, & Gualt. Kettiby ...$d1679 215 $a2 v. $cill., port 300 $aEach vol. has special t.p.: v. 1, Henrici Mori Cantabrigiensis Scriptorum philosophicorum tomus prior, qui praeter Enchiridium ethicum et Enchiridium metaphysicum ... multa alia scripta ... complectitur; v. 2, Henrici Mori Cantabrigiensis Scriptorum philosophicorum tomus alter, qui suam variorum scriptorum philosophicorum collectionem primitus dictam complectitur. 300 $aVol. 1 has also a third t.p.: Henrici Mori Cantabrigiensi Opera philosophica tum quae Latine, tum quae Anglice primitu?s sunt ... in Latinum versa. 300 $aEach of the works in the collection has special t.p. 300 $aVol. 2 printed by R. Norton. 300 $aReel 392 has v. 2 only. 300 $aIncludes errata. 300 $aFor complete contents of this ed. see BN, v. 118. 300 $aReproduction of original in Princeton University Library and Bodleian Library. 300 $aIncludes indexes. 330 $aeebo-0216 606 $aTheology$vEarly works to 1800 606 $aTheology$xHistory$y17th century 606 $aPhilosophy, Modern$y17th century 615 0$aTheology 615 0$aTheology$xHistory 615 0$aPhilosophy, Modern 700 $aMore$b Henry$f1614-1687.$0540899 701 $aCockshute$b John$fb. 1640 or 41.$01008104 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bUMI 801 2$bWaOLN 906 $aBOOK 912 $a996396529203316 996 $aHenrici Mori Cantabrigiensis Opera omnia tum quĉ Latine?, tum quĉ Anglice? scripta sunt$92324380 997 $aUNISA