Formal specification and verification: structures and techniques
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Kaiserslautern
Fachbereich Informatik, Univ.
2005
|
| Edition: | Als Ms. gedr. |
| Series: | Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern
24 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Zusammenfassung in dt. Sprache |
| Physical Description: | X, 182 S. Ill. |
| ISBN: | 3936890900 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV021326596 | ||
| 003 | DE-604 | ||
| 005 | 20160405 | ||
| 007 | t | ||
| 008 | 060208s2005 a||| m||| 00||| eng d | ||
| 020 | |a 3936890900 |9 3-936890-90-0 | ||
| 035 | |a (OCoLC)162287525 | ||
| 035 | |a (DE-599)BVBBV021326596 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91 |a DE-91G |a DE-739 |a DE-29T |a DE-824 |a DE-634 | ||
| 082 | 0 | |a 004.21015113 |2 22/ger | |
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a DAT 325d |2 stub | ||
| 084 | |a DAT 332d |2 stub | ||
| 100 | 1 | |a Eschbach, Robert |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal specification and verification |b structures and techniques |c Robert Eschbach |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Kaiserslautern |b Fachbereich Informatik, Univ. |c 2005 | |
| 300 | |a X, 182 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern |v 24 | |
| 500 | |a Zusammenfassung in dt. Sprache | ||
| 502 | |a Zugl.: Kaiserslautern, Techn. Univ., Diss., 2005 | ||
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a Fachbereich Informatik, Universität Kaiserslautern |t Schriftenreihe |v 24 |w (DE-604)BV014894336 |9 24 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014646927&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-014646927 | ||
Record in the Search Index
| _version_ | 1804135137921728512 |
|---|---|
| adam_text | Contents
1.
2.
2.1.
2.1.1.
2.1.2.
2.1.3.
2.1.4.
2.1.5.
2.1.6.
2.1.7.
2.2.
2.2.1.
2.2.2.
2.2.3.
2.3.
2.3.1.
2.4.
2.4.1.
2.4.2.
2.4.3.
2.4.4.
2.5.
2.5.1.
2.5.2.
2.5.3.
2.5.4.
3.
3.1.
3.1.1.
3.1.2.
3.1.3.
3.1.4.
3.2.
3.2.1.
3.2.2.
3.2.3.
3.2.4.
3.3.
3.3.1.
3.3.2.
3.4.
3.4.1.
3.4.2.
3.4.3.
3.5.
3.5.1.
3.5.2.
3.5.3.
3.5.4.
4.
4.1.
4.1.1.
4.1.2.
4.1.3.
4.2.
4.2.1.
4.2.2.
4.2.3.
4.2.4.
4.2.5.
4.2.6.
4.3.
4.3.1.
4.3.2.
4.3.3.
4.3.4.
4.3.5.
4.3.6.
5.
A. Relations
А.1.
A.2. Binary Relations
A.3. Functions
A.4. Multisets
A.5. Sequences
B.
B.I. CPO s
B.I.I.
B.1.2. DCPO s
B.1.3.
B.1.4. CCPO s
B.1.5.
В.
B.2. Lattices
B.2.1. Complete Lattices
B.2.2. Algebraic Lattices
B.2.3. Morphisms
B.2.4. Complete Lattices and CCPO s
C. Category Theory
C.I. Categories
C.2. Functors
C.3. Monies,
C.4. Construction
C.4.1. Products
C.5. Category of Structures
05.1.
C.5.2. Morphism
C.6. Category of Algebras
С.б.і.
C.6.2. Morphisms
C.6.3. Signature Morphisms and Forgetful Functors
C.6.4. Construction
С.б.Ѕ.
Bibliography
|
| adam_txt |
Contents
1.
2.
2.1.
2.1.1.
2.1.2.
2.1.3.
2.1.4.
2.1.5.
2.1.6.
2.1.7.
2.2.
2.2.1.
2.2.2.
2.2.3.
2.3.
2.3.1.
2.4.
2.4.1.
2.4.2.
2.4.3.
2.4.4.
2.5.
2.5.1.
2.5.2.
2.5.3.
2.5.4.
3.
3.1.
3.1.1.
3.1.2.
3.1.3.
3.1.4.
3.2.
3.2.1.
3.2.2.
3.2.3.
3.2.4.
3.3.
3.3.1.
3.3.2.
3.4.
3.4.1.
3.4.2.
3.4.3.
3.5.
3.5.1.
3.5.2.
3.5.3.
3.5.4.
4.
4.1.
4.1.1.
4.1.2.
4.1.3.
4.2.
4.2.1.
4.2.2.
4.2.3.
4.2.4.
4.2.5.
4.2.6.
4.3.
4.3.1.
4.3.2.
4.3.3.
4.3.4.
4.3.5.
4.3.6.
5.
A. Relations
А.1.
A.2. Binary Relations
A.3. Functions
A.4. Multisets
A.5. Sequences
B.
B.I. CPO's
B.I.I.
B.1.2. DCPO's
B.1.3.
B.1.4. CCPO's
B.1.5.
В.
B.2. Lattices
B.2.1. Complete Lattices
B.2.2. Algebraic Lattices
B.2.3. Morphisms
B.2.4. Complete Lattices and CCPO's
C. Category Theory
C.I. Categories
C.2. Functors
C.3. Monies,
C.4. Construction
C.4.1. Products
C.5. Category of Structures
05.1.
C.5.2. Morphism
C.6. Category of Algebras
С.б.і.
C.6.2. Morphisms
C.6.3. Signature Morphisms and Forgetful Functors
C.6.4. Construction
С.б.Ѕ.
Bibliography |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Eschbach, Robert |
| author_facet | Eschbach, Robert |
| author_role | aut |
| author_sort | Eschbach, Robert |
| author_variant | r e re |
| building | Verbundindex |
| bvnumber | BV021326596 |
| classification_rvk | ST 140 |
| classification_tum | DAT 325d DAT 332d |
| ctrlnum | (OCoLC)162287525 (DE-599)BVBBV021326596 |
| dewey-full | 004.21015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.21015113 |
| dewey-search | 004.21015113 |
| dewey-sort | 14.21015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| edition | Als Ms. gedr. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01770nam a2200421 cb4500</leader><controlfield tag="001">BV021326596</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160405 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">060208s2005 a||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3936890900</subfield><subfield code="9">3-936890-90-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162287525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021326596</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 332d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Eschbach, Robert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal specification and verification</subfield><subfield code="b">structures and techniques</subfield><subfield code="c">Robert Eschbach</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Kaiserslautern</subfield><subfield code="b">Fachbereich Informatik, Univ.</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 182 S.</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern</subfield><subfield code="v">24</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zusammenfassung in dt. Sprache</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Kaiserslautern, Techn. Univ., Diss., 2005</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fachbereich Informatik, Universität Kaiserslautern</subfield><subfield code="t">Schriftenreihe</subfield><subfield code="v">24</subfield><subfield code="w">(DE-604)BV014894336</subfield><subfield code="9">24</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014646927&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014646927</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021326596 |
| illustrated | Illustrated |
| index_date | 2024-07-02T14:00:30Z |
| indexdate | 2024-07-09T20:35:44Z |
| institution | BVB |
| isbn | 3936890900 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014646927 |
| oclc_num | 162287525 |
| open_access_boolean | |
| owner | DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-29T DE-824 DE-634 |
| owner_facet | DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-29T DE-824 DE-634 |
| physical | X, 182 S. Ill. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Fachbereich Informatik, Univ. |
| record_format | marc |
| series2 | Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern |
| spelling | Eschbach, Robert Verfasser aut Formal specification and verification structures and techniques Robert Eschbach Als Ms. gedr. Kaiserslautern Fachbereich Informatik, Univ. 2005 X, 182 S. Ill. txt rdacontent n rdamedia nc rdacarrier Schriftenreihe / Fachbereich Informatik, Universität Kaiserslautern 24 Zusammenfassung in dt. Sprache Zugl.: Kaiserslautern, Techn. Univ., Diss., 2005 Formale Spezifikationstechnik (DE-588)4299725-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Formale Spezifikationstechnik (DE-588)4299725-2 s DE-604 Fachbereich Informatik, Universität Kaiserslautern Schriftenreihe 24 (DE-604)BV014894336 24 Digitalisierung UB Passau application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014646927&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Eschbach, Robert Formal specification and verification structures and techniques Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| subject_GND | (DE-588)4299725-2 (DE-588)4113937-9 |
| title | Formal specification and verification structures and techniques |
| title_auth | Formal specification and verification structures and techniques |
| title_exact_search | Formal specification and verification structures and techniques |
| title_exact_search_txtP | Formal specification and verification structures and techniques |
| title_full | Formal specification and verification structures and techniques Robert Eschbach |
| title_fullStr | Formal specification and verification structures and techniques Robert Eschbach |
| title_full_unstemmed | Formal specification and verification structures and techniques Robert Eschbach |
| title_short | Formal specification and verification |
| title_sort | formal specification and verification structures and techniques |
| title_sub | structures and techniques |
| topic | Formale Spezifikationstechnik (DE-588)4299725-2 gnd |
| topic_facet | Formale Spezifikationstechnik Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014646927&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014894336 |
| work_keys_str_mv | AT eschbachrobert formalspecificationandverificationstructuresandtechniques |