000 03156nam a22005775i 4500
001 978-3-540-45645-2
003 DE-He213
005 20240423132518.0
007 cr nn 008mamaa
008 121227s2002 gw | s |||| 0|eng d
020 _a9783540456452
_9978-3-540-45645-2
024 7 _a10.1007/3-540-45645-7
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aRecent Trends in Algebraic Development Techniques
_h[electronic resource] :
_b15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /
_cedited by Maura Cerioli, Gianna Reggio.
250 _a1st ed. 2002.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2002.
300 _aX, 348 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2267
505 0 _aInteractive Rule-Based Specification with an Application to Visual Language Definition -- Algebraic Abstractions -- Combining Logics: Parchments Revisited -- Canonical Institutions of Behaviour -- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications -- On the Compatibility of Model and Model-Class Transformations -- Verifying a Simple Pipelined Microprocessor Using Maude -- Verifying Architectural Specifications -- Geometric Modelling with CASL -- A Compositional Approach to Connector Construction -- Institution Independent Static Analysis for Casl -- Tight and Loose Semantics for Transformation Systems -- Presentations for Abstract Context Institutions -- Programs, Proofs and Parametrized Specifications -- Towards Trustworthy Specification I: Consistency Checks -- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.
650 0 _aSoftware engineering.
650 0 _aComputer science.
650 0 _aMachine theory.
650 0 _aComputer science
_xMathematics.
650 1 4 _aSoftware Engineering.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aSymbolic and Algebraic Manipulation.
700 1 _aCerioli, Maura.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aReggio, Gianna.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540431596
776 0 8 _iPrinted edition:
_z9783662177976
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v2267
856 4 0 _uhttps://doi.org/10.1007/3-540-45645-7
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188572
_d188572