| Record ID | ia:teachinglearning0000unse_i2v2 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/teachinglearning0000unse_i2v2/teachinglearning0000unse_i2v2_marc.xml |
| Download MARC binary | https://www.archive.org/download/teachinglearning0000unse_i2v2/teachinglearning0000unse_i2v2_meta.mrc |
LEADER: 04021cam 2200781 a 4500
001 ocm35831028
003 OCoLC
005 20210330154450.0
008 961003s1996 enka 001 0 eng
040 $aUKM$beng$cUKM$dVPI$dCIT$dOCLCQ$dBAKER$dNLGGC$dLVB$dYDXCP$dOCLCG$dAU@$dZWZ$dOCLCQ$dUX0$dOG#$dBDX$dNLE$dOCLCO$dOCLCQ$dAPUMS$dOCLCQ$dOCLCF$dFQG$dIEUOL$dWURST$dL2U
015 $aGB9677424$2bnb
019 $a877195171
020 $a0123490405$q(pbk.)
020 $a9780123490407$q(pbk.)
035 $a(OCoLC)35831028$z(OCoLC)877195171
050 4 $aQA267.3$b.T43 1996
082 04 $a004.07$222
084 $a54.04$2bcl
245 00 $aTeaching and learning formal methods /$cedited by C. Neville Dean and Michael G. Hinchey.
260 $aLondon :$bAcademic,$c©1996.
300 $axvi, 285 pages :$billustrations ;$c23 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aAcademic Press international series in formal methods.
505 00 $tPreface /$rC. Neville Dean and Michael G. Hinchey --$tAn industrial perspective on educational issues relating to formal methods /$rJohn B. Wordsworth --$tEffective formal methods education for professional software engineers /$rDavid Garlan --$tEducation for computing professionals /$rDavid Lorge Parnas --$tTeaching programming as engineering /$rDavid Lorge Parnas --$tHints to specifiers /$rJeannette M. Wing --$tMoore formal methods in the classroom : A how-to manual /$rJames A. Foster and Michael Barnett --$tFormal methods and modeling in context /$rC. Neville Dean and Michael G. Hinchey --$tAn empirical study of specification readability /$rKate M. Finney and Alex M. Fedorec --$tInvestigating student difficulties with mathematical logic /$rVicki L. Almstrum --$tAn executable course in the algebraic semantics of imperative programs /$rGrant Malcolm and Joseph A. Goguen --$tImproving the curriculum through the teaching of calculation and discrimination /$rDavid Gries --$tProgramming, proving and calculation /$tWim Feijenm and Netty van Gasteren --$tTeaching hardware and software versification in a uniform framework /$rMichael J.C. Gordon.
504 $aIncludes bibliographical references and index.
650 0 $aSystem design$xStudy and teaching.
650 0 $aComputer software$xDevelopment$xStudy and teaching.
650 1 $aComputer software$xDevelopment$xStudy and teaching.
650 6 $aSystèmes, Conception de$xÉtude et enseignement.
650 6 $aLogiciels$xDéveloppement$xÉtude et enseignement.
650 6 $aProgrammation (Informatique)$xÉtude et enseignement.
650 7 $a54.04 teaching, profession and organizations of computer science.$0(NL-LeOCL)077605160$2bcl
650 7 $aSystem design$xStudy and teaching.$2fast$0(OCoLC)fst01141411
650 17 $aOnderwijskunde.$2gtt
650 17 $aFormele logica.$2gtt
650 17 $aComputers.$2gtt
650 7 $aGénie logiciel.$2ram
653 0 $aComputers
653 00 $amethodologie
653 00 $amethodology
653 00 $aminicomputers
653 00 $amicrocomputers
653 00 $agegevensverwerking
653 00 $adata processing
653 00 $ahoger onderwijs
653 00 $ahigher education
653 00 $aonderwijsmethoden
653 00 $ateaching methods
653 00 $alogica
653 00 $alogic
653 00 $amachines
653 10 $aPhilosophy (General)
653 10 $aFilosofie (algemeen)
700 1 $aDean, Neville.
700 1 $aHinchey, Michael G.$q(Michael Gerard),$d1969-
830 0 $aAcademic Press international series in formal methods.
938 $aBaker & Taylor$bBKTY$c98.95$d98.95$i0123490405$n0002888397$sactive
938 $aBrodart$bBROD$n50284916$c$165.00
938 $aYBP Library Services$bYANK$n1287821
029 1 $aAU@$b000012876845
029 1 $aNLGGC$b152410511
029 1 $aNZ1$b3443172
029 1 $aYDXCP$b1287821
029 1 $aZWZ$b02623551X
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 137 OTHER HOLDINGS