|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
5921303 |
| 003 |
ICU |
| 005 |
20070209114900.0 |
| 008 |
060518s2006 gw a b 001 0 eng c |
| 010 |
|
|
|a 2005938509
|
| 020 |
|
|
|a 3540311874
|
| 024 |
3 |
|
|a 9783540311874
|
| 040 |
|
|
|a COO
|c COO
|d BAKER
|d UtOrBLW
|d OrLoB-B
|
| 042 |
|
|
|a pcc
|
| 050 |
|
4 |
|a QA267.3
|b .F86 2006
|
| 090 |
|
|
|a QA267.3
|b .F86 2006g
|
| 245 |
0 |
0 |
|a Fundamentals of algebraic graph transformtion /
|c H. Ehrig ... [et al.].
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer,
|c c2006.
|
| 300 |
|
|
|a xiii, 388 p. :
|b ill. ;
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Monographs in theoretical computer science
|
| 504 |
|
|
|a Includes bibliographical references (p. [377]-383) and index.
|
| 505 |
0 |
0 |
|g 1.
|t General introduction --
|g 2.
|t Graphs, typed graphs, and the gluing construction --
|g 3.
|t Graph transformation systems --
|g 4.
|t Adhesive high-level replacement categories --
|g 5.
|t Adhesive high-level replacement systems --
|g 6.
|t Embedding and local confluence --
|g 7.
|t Constraints and application conditions --
|g 8.
|t Typed attributed graphs --
|g 9.
|t Typed attributed graph transformation systems --
|g 10.
|t Embedding and local confluence for typed AGT systems --
|g 11.
|t Adhesive HLR categories for typed attributed graphs --
|g 12.
|t Constraints, application conditions and termination for TAGT systems --
|g 13.
|t Typed attributed graph transformation with inheritance --
|g 14.
|t Case study on model transformation --
|g 15.
|t Implementation of typed attributed graph transformation by AGG --
|g App. A.
|t A short introduction to category theory --
|g App. B.
|t A short introduction to signatures and algebras --
|g App. C.
|t Detailed proofs.
|
| 650 |
|
0 |
|a Graph grammars.
|0 http://id.loc.gov/authorities/subjects/sh85056470
|
| 650 |
|
0 |
|a Graph theory.
|0 http://id.loc.gov/authorities/subjects/sh85056471
|
| 650 |
|
0 |
|a Morphisms (Mathematics)
|0 http://id.loc.gov/authorities/subjects/sh85087345
|
| 650 |
|
0 |
|a Categories (Mathematics)
|0 http://id.loc.gov/authorities/subjects/sh85020992
|
| 650 |
|
7 |
|a Categories (Mathematics)
|2 fast
|0 http://id.worldcat.org/fast/fst00849000
|
| 650 |
|
7 |
|a Graph grammars.
|2 fast
|0 http://id.worldcat.org/fast/fst00946582
|
| 650 |
|
7 |
|a Graph theory.
|2 fast
|0 http://id.worldcat.org/fast/fst00946584
|
| 650 |
|
7 |
|a Morphisms (Mathematics)
|2 fast
|0 http://id.worldcat.org/fast/fst01026443
|
| 700 |
1 |
|
|a Ehrig, Hartmut.
|0 http://id.loc.gov/authorities/names/n79131463
|1 http://viaf.org/viaf/91382328
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)69242087
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 5ffa8f8d-85d4-5c2f-af1b-756882a59aa4
|s ae98f107-b011-5c74-bca5-fb81b4a82336
|
| 928 |
|
|
|t Library of Congress classification
|a QA166 .F86 2006
|l Eck
|c Eck-Eck
|i 4871580
|
| 927 |
|
|
|t Library of Congress classification
|a QA166 .F86 2006
|l Eck
|c Eck-Eck
|e BELL
|b 75074303
|i 7999100
|
