LEADER 03497nam  22007095  450 
001 996465941903316
005 20230406053254.0
010   $a3-642-28412-4
024 7 $a10.1007/978-3-642-28412-0
035   $a(CKB)3360000000365894
035   $a(SSID)ssj0000666317
035   $a(PQKBManifestationID)11378701
035   $a(PQKBTitleCode)TC0000666317
035   $a(PQKBWorkID)10664456
035   $a(PQKB)11166094
035   $a(DE-He213)978-3-642-28412-0
035   $a(MiAaPQ)EBC3070616
035   $z(PPN)19976655X
035   $a(PPN)159087740
035   $a(EXLCZ)993360000000365894
100   $a20120218d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRecent Trends in Algebraic Development Techniques$b[electronic resource] $e20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers /$fedited by Till Mossakowski, Hans-Jörg Kreowski
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 303 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7137
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-28411-6 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance validation, and verification.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7137
606   $aComputer science
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aMathematical logic
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aMathematics of Computing
606   $aTheory of Computation
606   $aMathematical Logic and Foundations
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aMathematical logic.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aMathematics of Computing.
615 24$aTheory of Computation.
615 24$aMathematical Logic and Foundations.
676   $a005.1015113
702   $aMossakowski$b Till$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKreowski$b Hans-Jörg$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aWADT 2010$f(2010 :$eEtelsen, Germany)
906   $aBOOK
912   $a996465941903316
996   $aRecent Trends in Algebraic Development Techniques$9771917
997   $aUNISA