| Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:611477232:2573 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:611477232:2573?format=raw |
LEADER: 02573fam a2200361 a 4500
001 1977750
005 20220609042241.0
008 960715t19961996enka b 001 0 eng
010 $a 96032367
020 $a047195067X (alk. paper)
035 $a(OCoLC)35110304
035 $a(OCoLC)ocm35110304
035 $9AMJ4485CU
035 $a(NNC)1977750
035 $a1977750
040 $aDLC$cDLC$dDLC$dOrLoB-B
050 00 $aQA76.9.A23$bL63 1996
082 00 $a005.7/3$220
100 1 $aLoeckx, Jacques,$d1931-$0http://id.loc.gov/authorities/names/n50039540
245 10 $aSpecification of abstract data types /$cJacques Loeckx, Hans-Dieter Ehrich, and Markus Wolf.
260 $aChichester ;$aNew York :$bWiley ;$aStuttgart :$bB.G. Teubner,$c[1996], ©1996.
300 $axi, 260 pages :$billustrations ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
504 $aIncludes bibliographical references (p. 243-250) and index.
505 20 $g1.$tSoftware design, data types and specification --$g2.$tMany-sorted algebras --$g3.$tStructuring algebras --$g4.$tAlgebras for different signatures --$g5.$tLogic --$g6.$tLoose specifications --$g7.$tInitial specifications --$g8.$tConstructive specifications --$g9.$tSpecification languages --$g10.$tModularization and parameterization --$g11.$tA case study --$g12.$tFurther topics.
520 $aSpecification of Abstract Data Types provides an authoritative introduction to the mathematical foundations of algebraic program specification.
520 8 $aUnlike most other publications on the subject, this book does not draw on category theory, but instead tries to demystify the topic and promote its use in practical applications. It clearly distinguishes between the study of algebras, logic, specification methods and specification languages and it avoids focusing on a particular logic or a particular specification method.
520 8 $aWhile treating the subject with mathematical precision, the book contains numerous examples, exercises and comments to provide a deeper understanding of concepts discussed. It was conceived as a student textbook but will also be a useful source of reference for researchers and developers using formal specification methods for software design.
650 0 $aAbstract data types (Computer science)$0http://id.loc.gov/authorities/subjects/sh85000253
700 1 $aEhrich, Hans-Dieter.$0http://id.loc.gov/authorities/names/n85238103
700 1 $aWolf, Markus.$0http://id.loc.gov/authorities/names/n96068898
852 00 $boff,eng$hQA76.9.A23$iL63 1996