| Record ID | ia:practicalformals0000mill |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/practicalformals0000mill/practicalformals0000mill_marc.xml |
| Download MARC binary | https://www.archive.org/download/practicalformals0000mill/practicalformals0000mill_meta.mrc |
LEADER: 01177cam a2200265 a 4500
001 2008042407
003 DLC
005 20090604102004.0
008 080925s2009 nyua b 001 0 eng
010 $a 2008042407
015 $aGBA8C6306$2bnb
016 7 $a014794189$2Uk
020 $a9780521879033 (hardback)
020 $a0521879035 (hardback)
035 $a(OCoLC)231581092
040 $aDLC$cDLC$dYDX$dBTCTA$dBAKER$dYDXCP$dUKM$dVLB$dCDX$dDLC
050 00 $aQA76.758$b.M575 2009
082 00 $a005.1$222
100 1 $aMills, Bruce,$d1962-
245 10 $aPractical formal software engineering :$bwanting the software you get /$cBruce Mills.
260 $aNew York :$bCambridge University Press,$c2009.
300 $axxxiii, 339 p. :$bill. ;$c26 cm.
504 $aIncludes bibliographical references and index.
505 0 $aPART 1: Fundamentals. Arithmetic -- Logic -- Algebra -- Diagrams -- -- PART 2: Language. UML -- OCL -- Z -- Logic -- Java -- Game exercises -- -- PART 3: Practice. Implementation -- State transformation -- Plain text -- Natural language -- Digital geometry -- Building dungeons -- Multiple threads -- Security.
650 0 $aSoftware engineering$vTextbooks.