Foundations of algebraic specification and formal software development:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; Heidelberg
Springer
[2012]
|
| Series: | Monographs in theoretical computer science
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben. - Hier auch später erschienene, unveränderte Nachdrucke |
| Physical Description: | XVI, 581 Seiten graph. Darst. 25 cm |
| ISBN: | 9783642173356 3642173357 9783642440656 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044303322 | ||
| 003 | DE-604 | ||
| 005 | 20170511 | ||
| 007 | t | ||
| 008 | 170509s2012 gw d||| |||| 00||| eng d | ||
| 015 | |a 10,N43 |2 dnb | ||
| 015 | |a 12,A18 |2 dnb | ||
| 016 | 7 | |a 1007777591 |2 DE-101 | |
| 020 | |a 9783642173356 |c Pp. : EUR 85.55 (DE, freier Pr.), ca. sfr 143.50 (freier Pr.) |9 978-3-642-17335-6 | ||
| 020 | |a 3642173357 |9 3-642-17335-7 | ||
| 020 | |a 9783642440656 |c Pb. : EUR 85.55 (DE) (freier Pr.), EUR 87.95 (AT) (freier Pr.), sfr 106.50 (freier Pr.) |9 978-3-642-44065-6 | ||
| 024 | 3 | |a 9783642173356 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80027790 |
| 035 | |a (OCoLC)775726327 | ||
| 035 | |a (DE-599)DNB1007777591 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-703 | ||
| 082 | 0 | |a 005.101 |2 22/ger | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Sannella, Donald |d 1956- |e Verfasser |0 (DE-588)1044032979 |4 aut | |
| 245 | 1 | 0 | |a Foundations of algebraic specification and formal software development |c Donald Sannella, Andrzej Tarlecki |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c [2012] | |
| 300 | |a XVI, 581 Seiten |b graph. Darst. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Monographs in theoretical computer science | |
| 500 | |a Literaturangaben. - Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 653 | |a Research | ||
| 653 | |a Algebraic Specification | ||
| 653 | |a Behavioural Specifications | ||
| 653 | |a Category Theory | ||
| 653 | |a Formal Program Development | ||
| 653 | |a Formal Software Development | ||
| 653 | |a Universal Algebra | ||
| 689 | 0 | 0 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 0 | 1 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Tarlecki, Andrzej |d 1956- |e Verfasser |0 (DE-588)1044033525 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ressource |z 978-3-642-17336-3 |
| 856 | 4 | 2 | |m B:DE-101 |q application/pdf |u http://d-nb.info/1007777591/04 |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3552160&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029707148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029707148 | |
Record in the Search Index
| _version_ | 1806413579552817152 |
|---|---|
| adam_text |
IMAGE 1
CONTENTS
PREFACE VII
0 INTRODUCTION 1
0.1 MODELLING SOFTWARE SYSTEMS AS ALGEBRAS I
0.2 SPECIFICATIONS 5
0.3 SOFTWARE DEVELOPMENT 8
0.4 GENERALITY AND ABSTRACTION 10
0.5 FORMALITY 13
0.6 OUTLOOK 14
1 UNIVERSAL ALGEBRA 15
1.1 MANY-SORTED SETS 15
1.2 SIGNATURES AND ALGEBRAS 19
1.3 HOMOMORPHISMS AND CONGRUENCES 22
1.4 TERM ALGEBRAS 27
1.5 CHANGING SIGNATURES 32
1.5.1 SIGNATURE MORPHISMS 33
1.5.2 DERIVED SIGNATURE MORPHISMS 36
1.6 BIBLIOGRAPHICAL REMARKS 38
2 SIMPLE EQUATIONAL SPECIFICATIONS 41
2.1 EQUATIONS 4 2
2.2 FLAT SPECIFICATIONS 44
2.3 THEORIES 4 9
2.4 EQUATIONAL CALCULUS 53
2.5 INITIAL MODELS 57
2.6 TERM REWRITING 65
2.7 FIDDLING WITH THE DEFINITIONS 71
2.7.1 CONDITIONAL EQUATIONS 72
2.7.2 REACHABLE SEMANTICS 74
2.7.3 DEALING WITH PARTIAL FUNCTIONS: ERROR ALGEBRAS 78
X I I I
HTTP://D-NB.INFO/1007777591
IMAGE 2
XIV C O N T E N T S
2.7.4 DEALING WITH PARTIAL FUNCTIONS: PARTIAL ALGEBRAS 83
2.7.5 PARTIAL FUNCTIONS: ORDER-SORTED ALGEBRAS 86
2.7.6 OTHER OPTIONS 9 0
2.8 BIBLIOGRAPHICAL REMARKS 9 3
3 CATEGORY THEORY 97
3.1 INTRODUCING CATEGORIES 99
3.1.1 CATEGORIES 99
3.1.2 CONSTRUCTING CATEGORIES 105
3.1.3 CATEGORY-THEORETIC DEFINITIONS 109
3.2 LIMITS AND COLIMITS I L L
3.2.1 INITIAL AND TERMINAL OBJECTS 112
3.2.2 PRODUCTS AND COPRODUCTS 113
3.2.3 EQUALISERS AND COEQUALISERS 115
3.2.4 PULLBACKS AND PUSHOUTS 116
3.2.5 THE GENERAL SITUATION 119
3.3 FACTORISATION SYSTEMS 123
3.4 FUNCTORS AND NATURAL TRANSFORMATIONS 127
3.4.1 FUNCTORS 128
3.4.2 NATURAL TRANSFORMATIONS 135
3.4.3 CONSTRUCTING CATEGORIES, REVISITED 139
3.5 ADJOINTS 144
3.5.1 FREE OBJECTS 144
3.5.2 LEFT ADJOINTS 145
3.5.3 ADJUNCTIONS 150
3.6 BIBLIOGRAPHICAL REMARKS 152
4 WORKING WITHIN AN ARBITRARY LOGICAL SYSTEM 155
4.1 INSTITUTIONS 158
4.1.1 EXAMPLES OF INSTITUTIONS 161
4.1.2 CONSTRUCTING INSTITUTIONS 180
4.2 FLAT SPECIFICATIONS IN AN ARBITRARY INSTITUTION 187
4.3 CONSTRAINTS 194
4.4 EXACT INSTITUTIONS 198
4.4.1 ABSTRACT MODEL THEORY 205
4.4.2 FREE VARIABLES AND QUANTIFICATION 209
4.5 INSTITUTIONS WITH REACHABILITY STRUCTURE 213
4.5.1 THE METHOD OF DIAGRAMS 216
4.5.2 ABSTRACT ALGEBRAIC INSTITUTIONS 218
4.5.3 LIBERAL ABSTRACT ALGEBRAIC INSTITUTIONS 219
4.5.4 CHARACTERISING ABSTRACT ALGEBRAIC INSTITUTIONS THAT ADMIT
REACHABLE INITIAL MODELS 221
4.6 BIBLIOGRAPHICAL REMARKS 223
IMAGE 3
CONTENTS X V
5 STRUCTURED SPECIFICATIONS 229
5.1 SPECIFICATION-BUILDING OPERATIONS 230
5.2 TOWARDS SPECIFICATION LANGUAGES 237
5.3 AN EXAMPLE 241
5.4 A PROPERTY-ORIENTED SEMANTICS O F SPECIFICATIONS 245
5.5 THE CATEGORY OF SPECIFICATIONS 249
5.6 ALGEBRAIC LAWS FOR STRUCTURED SPECIFICATIONS 253
5.7 BIBLIOGRAPHICAL REMARKS 257
6 PARAMETERISATION 259
6.1 MODELLING GENERIC MODULES 260
6.2 SPECIFYING GENERIC MODULES 270
6.3 PARAMETERISED SPECIFICATIONS 276
6.4 HIGHER-ORDER PARAMETERISATION 280
6.5 AN EXAMPLE 287
6.6 BIBLIOGRAPHICAL REMARKS 290
7 FORMAL PROGRAM DEVELOPMENT 293
7.1 SIMPLE IMPLEMENTATIONS 294
7.2 CONSTRUCTOR IMPLEMENTATIONS 302
7.3 MODULAR DECOMPOSITION 309
7.4 EXAMPLE 316
7.5 BIBLIOGRAPHICAL REMARKS 322
8 BEHAVIOURAL SPECIFICATIONS 325
8.1 MOTIVATING EXAMPLE 326
8.2 BEHAVIOURAL EQUIVALENCE AND ABSTRACTION 329
8.2.1 BEHAVIOURAL EQUIVALENCE 330
8.2.2 BEHAVIOURAL ABSTRACTION 335
8.2.3 WEAK BEHAVIOURAL EQUIVALENCE 337
8.3 BEHAVIOURAL SATISFACTION 340
8.3.1 BEHAVIOURAL SATISFACTION VS. BEHAVIOURAL ABSTRACTION 343 8.4
BEHAVIOURAL IMPLEMENTATIONS 348
8.4.1 IMPLEMENTING SPECIFICATIONS UP TO BEHAVIOURAL EQUIVALENCE. 348
8.4.2 STEPWISE DEVELOPMENT AND STABILITY 350
8.4.3 STABLE AND BEHAVIOURALLY TRIVIAL CONSTRUCTORS 352
8.4.4 GLOBAL STABILITY AND BEHAVIOURAL CORRECTNESS 357
8.4.5 SUMMARY 365
8.5 TO PARTIAL ALGEBRAS AND BEYOND 366
8.5.1 BEHAVIOURAL SPECIFICATIONS IN FPL 366
8.5.2 A LARGER EXAMPLE 373
8.5.3 BEHAVIOURAL SPECIFICATIONS IN AN ARBITRARY INSTITUTION 384 8.6
BIBLIOGRAPHICAL REMARKS 396
IMAGE 4
XVI C O N T E N T S
9 PROOFS FOR SPECIFICATIONS 401
9.1 ENTAILMENT SYSTEMS 402
9.2 PROOF IN STRUCTURED SPECIFICATIONS 415
9.3 ENTAILMENT BETWEEN SPECIFICATIONS 429
9.4 CORRECTNESS O F CONSTRUCTOR IMPLEMENTATIONS 438
9.5 PROOF AND PARAMETERISATION 443
9.6 PROVING BEHAVIOURAL PROPERTIES 453
9.6.1 BEHAVIOURAL CONSEQUENCE 454
9.6.2 BEHAVIOURAL CONSEQUENCE FOR SPECIFICATIONS 465
9.6.3 BEHAVIOURAL CONSEQUENCE BETWEEN SPECIFICATIONS 469
9.6.4 CORRECTNESS OF BEHAVIOURAL IMPLEMENTATIONS 473
9.6.5 A LARGER EXAMPLE, REVISITED 475
9.7 BIBLIOGRAPHICAL REMARKS 482
10 WORKING WITH MULTIPLE LOGICAL SYSTEMS 485
10.1 MOVING SPECIFICATIONS BETWEEN INSTITUTIONS 486
10.1.1 INSTITUTION SEMI-MORPHISMS 487
10.1.2 DUPLEX INSTITUTIONS 491
10.1.3 MIGRATING SPECIFICATIONS 493
10.2 INSTITUTION MORPHISMS 501
10.3 THE CATEGORY O F INSTITUTIONS 511
10.4 INSTITUTION COMORPHISMS 518
10.5 BIBLIOGRAPHICAL REMARKS 530
BIBLIOGRAPHY 533
INDEX O F CATEGORIES AND FUNCTORS 553
INDEX O F INSTITUTIONS 555
INDEX O F NOTATION 557
INDEX O F CONCEPTS 563 |
| any_adam_object | 1 |
| author | Sannella, Donald 1956- Tarlecki, Andrzej 1956- |
| author_GND | (DE-588)1044032979 (DE-588)1044033525 |
| author_facet | Sannella, Donald 1956- Tarlecki, Andrzej 1956- |
| author_role | aut aut |
| author_sort | Sannella, Donald 1956- |
| author_variant | d s ds a t at |
| building | Verbundindex |
| bvnumber | BV044303322 |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)775726327 (DE-599)DNB1007777591 |
| dewey-full | 005.101 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.101 |
| dewey-search | 005.101 |
| dewey-sort | 15.101 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV044303322</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170511</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170509s2012 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N43</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,A18</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1007777591</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642173356</subfield><subfield code="c">Pp. : EUR 85.55 (DE, freier Pr.), ca. sfr 143.50 (freier Pr.)</subfield><subfield code="9">978-3-642-17335-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642173357</subfield><subfield code="9">3-642-17335-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642440656</subfield><subfield code="c">Pb. : EUR 85.55 (DE) (freier Pr.), EUR 87.95 (AT) (freier Pr.), sfr 106.50 (freier Pr.)</subfield><subfield code="9">978-3-642-44065-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642173356</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80027790</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)775726327</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1007777591</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Sannella, Donald</subfield><subfield code="d">1956-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1044032979</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of algebraic specification and formal software development</subfield><subfield code="c">Donald Sannella, Andrzej Tarlecki</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2012]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 581 Seiten</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">25 cm</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="0" ind2=" "><subfield code="a">Monographs in theoretical computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben. - Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Algebraic Specification</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Behavioural Specifications</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Category Theory</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal Program Development</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Formal Software Development</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Universal Algebra</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tarlecki, Andrzej</subfield><subfield code="d">1956-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1044033525</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ressource</subfield><subfield code="z">978-3-642-17336-3</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">B:DE-101</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://d-nb.info/1007777591/04</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3552160&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=029707148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029707148</subfield></datafield></record></collection> |
| id | DE-604.BV044303322 |
| illustrated | Illustrated |
| indexdate | 2024-08-04T00:10:35Z |
| institution | BVB |
| isbn | 9783642173356 3642173357 9783642440656 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029707148 |
| oclc_num | 775726327 |
| open_access_boolean | |
| owner | DE-703 |
| owner_facet | DE-703 |
| physical | XVI, 581 Seiten graph. Darst. 25 cm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series2 | Monographs in theoretical computer science |
| spelling | Sannella, Donald 1956- Verfasser (DE-588)1044032979 aut Foundations of algebraic specification and formal software development Donald Sannella, Andrzej Tarlecki Berlin ; Heidelberg Springer [2012] XVI, 581 Seiten graph. Darst. 25 cm txt rdacontent n rdamedia nc rdacarrier Monographs in theoretical computer science Literaturangaben. - Hier auch später erschienene, unveränderte Nachdrucke Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Research Algebraic Specification Behavioural Specifications Category Theory Formal Program Development Formal Software Development Universal Algebra Algebraische Spezifikation (DE-588)4207192-6 s Softwarespezifikation (DE-588)4056186-0 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Formale Methode (DE-588)4333722-3 s Tarlecki, Andrzej 1956- Verfasser (DE-588)1044033525 aut Erscheint auch als Online-Ressource 978-3-642-17336-3 B:DE-101 application/pdf http://d-nb.info/1007777591/04 Inhaltsverzeichnis X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3552160&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029707148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Sannella, Donald 1956- Tarlecki, Andrzej 1956- Foundations of algebraic specification and formal software development Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4116522-6 (DE-588)4207192-6 (DE-588)4056186-0 |
| title | Foundations of algebraic specification and formal software development |
| title_auth | Foundations of algebraic specification and formal software development |
| title_exact_search | Foundations of algebraic specification and formal software development |
| title_full | Foundations of algebraic specification and formal software development Donald Sannella, Andrzej Tarlecki |
| title_fullStr | Foundations of algebraic specification and formal software development Donald Sannella, Andrzej Tarlecki |
| title_full_unstemmed | Foundations of algebraic specification and formal software development Donald Sannella, Andrzej Tarlecki |
| title_short | Foundations of algebraic specification and formal software development |
| title_sort | foundations of algebraic specification and formal software development |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwareentwicklung (DE-588)4116522-6 gnd Algebraische Spezifikation (DE-588)4207192-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd |
| topic_facet | Formale Methode Softwareentwicklung Algebraische Spezifikation Softwarespezifikation |
| url | http://d-nb.info/1007777591/04 http://deposit.dnb.de/cgi-bin/dokserv?id=3552160&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029707148&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT sannelladonald foundationsofalgebraicspecificationandformalsoftwaredevelopment AT tarleckiandrzej foundationsofalgebraicspecificationandformalsoftwaredevelopment |
There is no print copy available.
Description