Logics of Specification Languages:
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer Berlin
2008
|
| Schriftenreihe: | Monographs in Theoretical Computer Science
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Inhaltsverzeichnis |
| Beschreibung: | XXI, 623 S. |
| ISBN: | 9783540741060 3540741062 9783540741077 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV023014226 | ||
| 003 | DE-604 | ||
| 005 | 20080806 | ||
| 007 | t | ||
| 008 | 071121s2008 gw |||| 00||| eng d | ||
| 015 | |a 07,N39,0038 |2 dnb | ||
| 016 | 7 | |a 985542179 |2 DE-101 | |
| 020 | |a 9783540741060 |c Gb. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.) |9 978-3-540-74106-0 | ||
| 020 | |a 3540741062 |c Gb. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.) |9 3-540-74106-2 | ||
| 020 | |a 9783540741077 |9 978-3-540-74107-7 | ||
| 024 | 3 | |a 9783540741060 | |
| 028 | 5 | 2 | |a 12021086 |
| 035 | |a (OCoLC)175285089 | ||
| 035 | |a (DE-599)DNB985542179 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-703 |a DE-11 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 22 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 140 |0 (DE-625)143592: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Logics of Specification Languages |c Dines Bjørner ... [ed.] |
| 264 | 1 | |a Berlin [u.a.] |b Springer Berlin |c 2008 | |
| 300 | |a XXI, 623 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Monographs in Theoretical Computer Science | |
| 650 | 4 | |a Langages de programmation - Sémantique | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 0 | 7 | |a Spezifikationssprache |0 (DE-588)4182217-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Spezifikationssprache |0 (DE-588)4182217-1 |D s |
| 689 | 1 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Bjørner, Dines |d 1937- |0 (DE-588)10903046X |4 edt | |
| 856 | 4 | 2 | |u http://d-nb.info/985542179 |3 Inhaltsverzeichnis |
| 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=016218412&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016218412 | ||
Datensatz im Suchindex
| _version_ | 1804137230227210240 |
|---|---|
| adam_text | CONTENTS
PREFACE VII
1 SPECIFICATION LANGUAGES VII
2 STRUCTURE OF BOOK XI
3 ACKNOWLEDGEMENTS XII
REFERENCES XII
PART I PRELUDIUM
AN OVERVIEW
DINES BJ0RNER AND MARTIN C. HENSON 3
1 THE BOOK HISTORY 3
2 FORMAL SPECIFICATION LANGUAGES G
3 THE LOGICS 9
REFERENCES 12
PART II THE LANGUAGES
ABSTRACT STATE MACHINES FOR THE CLASSROOM
WOLFGANG REISIG 15
I: INTUITION AND FOUNDATIONS OF ASM 16
1 WHAT MAKES ASM SO UNIQUE? 16
2 WHAT KIND OF ALGORITHMS DO ASM COVER? 18
3 PSEUDOCODE PROGRAMS AND THEIR SEMANTICS 23
II: THE FORMAL FRAMEWORK 2G
4 SIGNATURES AND STRUCTURES 27
5 SEQUENTIAL SMALL-STEP ASM PROGRAMS 30
6 PROPERTIES OF SEQUENTIAL SMALL-STEP ASM PROGRAMS 35
7 GUREVICH S THEOREM 37
III: EXTENSIONS 38
8 SEQUENTIAL LARGE-STEP ASM ALGORITHMS 38
9 NON-DETERMINISTIC AND REACTIVE ASM 39
GESCANNT DURCH
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/985542179
DIGITALISIERT DURCH
CONTENTS
10 DISTRIBUTED ASM 41
11 ASM AS A SPECIFICATION LANGUAGE 42
12 CONCLUSION 43
13 ACKNOWLEDGEMENTS 44
REFERENCES 44
ASM INDEXES 46
THE EVENT-B MODELLING METHOD: CONCEPTS AND CASE STUDIES
DOMINIQUE CANSELL AND DOMINIQUE MERY 47
1 INTRODUCTION 47
2 THE B LANGUAGE 50
3 B MODELS 62
4 SEQUENTIAL ALGORITHMS 77
5 COMBINING COORDINATION AND REFINEMENT FOR SORTING 93
6 SPANNING-TREE ALGORITHMS 112
7 DESIGN OF DISTRIBUTED ALGORITHMS BY REFINEMENT 124
8 CONCLUSION 142
REFERENCES 145
EVENT B INDEXES 150
A METHODOLOGICAL GUIDE TO THE CAFEOBJ LOGIC
RDZVAN DIACONESCU 153
1 THE CAFEOBJ SPECIFICATION LANGUAGE 153
2 DATA TYPE SPECIFICATION 156
3 TRANSITIONS 176
4 BEHAVIOURAL SPECIFICATION 190
5 INSTITUTIONAL SEMANTICS 220
6 STRUCTURED SPECIFICATIONS 225
ACKNOWLEDGEMENT 236
REFERENCES 236
CAFEOBJ INDEXES 239
CASL * THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE
T. MOSSAKOWSKI, A. HAXTHAUSEN, D. SANNELLA AND A. TARLECKI 241
1 INTRODUCTION 241
2 INSTITUTIONS AND LOGICS 243
3 MANY-SORTED BASIC SPECIFICATIONS 244
4 SUBSORTED BASIC SPECIFICATIONS 251
5
CASL
LANGUAGE CONSTRUCTS 253
6 STRUCTURED SPECIFICATIONS 255
7 ARCHITECTURAL SPECIFICATIONS 261
8 REFINEMENT 272
9 TOOLS 274
10 CASE STUDY 275
11 CONCLUSION 289
REFERENCES 290
CONTENTS
CASL INDEXES 294
DURATION CALCULUS
MICHAEL R. HANSEN 299
1 INTRODUCTION 301
2 SYNTAX, SEMANTICS AND PROOF SYSTEM 306
3 EXTENSIONS OF DURATION CALCULUS 321
4 DECIDABILITY, UNDECIDABILITY AND MODEL CHECKING 332
5 SOME LINKS TO RELATED WORK 334
REFERENCES 336
DC INDEXES 345
THE LOGIC OF THE RAISE SPECIFICATION LANGUAGE
CHRIS GEORGE AND ANNE E. HAXTHAUSEN 349
1 INTRODUCTION 349
2 THE RSL LOGIC 352
3 THE AXIOMATIC SEMANTICS: A LOGIC FOR DEFINITION 365
4 THE RSL PROOF SYSTEM: A LOGIC FOR PROOF 369
5 CASE STUDY 372
6 CONCLUSIONS 393
REFERENCES 395
RAISE INDEXES 397
THE SPECIFICATION LANGUAGE TLA
+
STEPHAN MERZ 401
1 INTRODUCTION 401
2 EXAMPLE: A SIMPLE RESOURCE ALLOCATOR 402
3 TLA: THE TEMPORAL LOGIC OF ACTIONS 409
4 DEDUCTIVE SYSTEM VERIFICATION IN TLA 423
5 FORMALIZED MATHEMATICS: THE ADDED VALUE OF TLA+ 430
6 THE RESOURCE ALLOCATOR REVISITED 434
7 CONCLUSIONS 445
REFERENCES 446
TLA+ INDEXES 448
THE TYPED LOGIC OF PARTIAL FUNCTIONS AND THE VIENNA
DEVELOPMENT METHOD
JOHN S. FITZGERALD 453
1 INTRODUCTION 453
2 THE VIENNA DEVELOPMENT METHOD 454
3 A PROOF FRAMEWORK FOR VDM 464
4 THE TYPED LOGIC OF PARTIAL FUNCTIONS 467
5 THEORIES SUPPORTING VDM-SL 472
6 THREE APPROACHES TO SUPPORTING LOGIC IN VDM 477
7 CONCLUSIONS AND FUTURE DIRECTIONS 481
REFERENCES 482
CONTENTS
VDM INDEXES 485
Z LOGIC AND ITS APPLICATIONS
M C HENSON, M DEUTSCH AND S REEVES 489
1 INTRODUCTION 489
2 INITIAL CONSIDERATIONS 490
3 THE SPECIFICATION LOGIC 2
C
498
4 CONSERVATIVE EXTENSIONS 504
5 EQUATIONAL LOGIC 509
6 PRECONDITION LOGIC 509
7 OPERATION REFINEMENT 511
8 FOUR EQUIVALENT THEORIES 518
9 THE NON-LIFTED TOTALISATION 526
10 THE STRICTLY-LIFTED TOTALISATION 531
11 DATA REFINEMENT (FORWARD) 533
12 FOUR (FORWARD) THEORIES 536
13 THREE EQUIVALENT THEORIES 539
14 THE NON-LIFTED TOTALISATION UNDERLYING DATA REFINEMENT 545
15 DATA REFINEMENT (BACKWARD) 548
16 FOUR (BACKWARD) THEORIES 550
17 FOUR EQUIVALENT THEORIES 552
18 THE NON-LIFTED TOTALISATION UNDERLYING DATA REFINEMENT 557
19 DISCUSSION 561
20 OPERATION REFINEMENT AND MONOTONICITY IN THE SCHEMA CALCULUS ... 564
21 DISTRIBUTIVITY PROPERTIES OF THE CHAOTIC COMPLETION 577
22 CONCLUSIONS 588
23 ACKNOWLEDGEMENTS 588
REFERENCES 589
PART III POSTLUDIUM
REVIEWS
DINES BJ0RNER AND MARTIN HENSON (EDITORS) 599
1 YURI GUREVICH: ASM 599
2 JEAN-RAYMOND ABRIAL: ON B AND EVENT-B 602
3 KOKICHI FUTATSUGI: FORMAL METHODS AND CAFEOBJ 604
4 PETER D. MOSSES: A VIEW OF THE CASL 607
5 ZHOU CHAOCHEN: DURATION CALCULUS 609
6 KLAUS HAVELUND: RAISE IN PERSPECTIVE 611
7 CLIFF B. JONES: VDM POSTLUDIUM 614
8 LESLIE LAMPORT: THE SPECIFICATION LANGUAGE TLA+ 616
9 JAMES C.P. WOODCOCK: Z LOGIC AND ITS APPLICATIONS 620
10 CLOSING: DINES BJ0RNER AND MARTIN C. HENSON 623
|
| adam_txt |
CONTENTS
PREFACE VII
1 SPECIFICATION LANGUAGES VII
2 STRUCTURE OF BOOK XI
3 ACKNOWLEDGEMENTS XII
REFERENCES XII
PART I PRELUDIUM
AN OVERVIEW
DINES BJ0RNER AND MARTIN C. HENSON 3
1 THE BOOK HISTORY 3
2 FORMAL SPECIFICATION LANGUAGES G
3 THE LOGICS 9
REFERENCES 12
PART II THE LANGUAGES
ABSTRACT STATE MACHINES FOR THE CLASSROOM
WOLFGANG REISIG 15
I: INTUITION AND FOUNDATIONS OF ASM 16
1 WHAT MAKES ASM SO UNIQUE? 16
2 WHAT KIND OF ALGORITHMS DO ASM COVER? 18
3 PSEUDOCODE PROGRAMS AND THEIR SEMANTICS 23
II: THE FORMAL FRAMEWORK 2G
4 SIGNATURES AND STRUCTURES 27
5 SEQUENTIAL SMALL-STEP ASM PROGRAMS 30
6 PROPERTIES OF SEQUENTIAL SMALL-STEP ASM PROGRAMS 35
7 GUREVICH'S THEOREM 37
III: EXTENSIONS 38
8 SEQUENTIAL LARGE-STEP ASM ALGORITHMS 38
9 NON-DETERMINISTIC AND REACTIVE ASM 39
GESCANNT DURCH
BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/985542179
DIGITALISIERT DURCH
CONTENTS
10 DISTRIBUTED ASM 41
11 ASM AS A SPECIFICATION LANGUAGE 42
12 CONCLUSION 43
13 ACKNOWLEDGEMENTS 44
REFERENCES 44
ASM INDEXES 46
THE EVENT-B MODELLING METHOD: CONCEPTS AND CASE STUDIES
DOMINIQUE CANSELL AND DOMINIQUE MERY 47
1 INTRODUCTION 47
2 THE B LANGUAGE 50
3 B MODELS 62
4 SEQUENTIAL ALGORITHMS 77
5 COMBINING COORDINATION AND REFINEMENT FOR SORTING 93
6 SPANNING-TREE ALGORITHMS 112
7 DESIGN OF DISTRIBUTED ALGORITHMS BY REFINEMENT 124
8 CONCLUSION 142
REFERENCES 145
EVENT B INDEXES 150
A METHODOLOGICAL GUIDE TO THE CAFEOBJ LOGIC
RDZVAN DIACONESCU 153
1 THE CAFEOBJ SPECIFICATION LANGUAGE 153
2 DATA TYPE SPECIFICATION 156
3 TRANSITIONS 176
4 BEHAVIOURAL SPECIFICATION 190
5 INSTITUTIONAL SEMANTICS 220
6 STRUCTURED SPECIFICATIONS 225
ACKNOWLEDGEMENT 236
REFERENCES 236
CAFEOBJ INDEXES 239
CASL * THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE
T. MOSSAKOWSKI, A. HAXTHAUSEN, D. SANNELLA AND A. TARLECKI 241
1 INTRODUCTION 241
2 INSTITUTIONS AND LOGICS 243
3 MANY-SORTED BASIC SPECIFICATIONS 244
4 SUBSORTED BASIC SPECIFICATIONS 251
5
CASL
LANGUAGE CONSTRUCTS 253
6 STRUCTURED SPECIFICATIONS 255
7 ARCHITECTURAL SPECIFICATIONS 261
8 REFINEMENT 272
9 TOOLS 274
10 CASE STUDY 275
11 CONCLUSION 289
REFERENCES 290
CONTENTS
CASL INDEXES 294
DURATION CALCULUS
MICHAEL R. HANSEN 299
1 INTRODUCTION 301
2 SYNTAX, SEMANTICS AND PROOF SYSTEM 306
3 EXTENSIONS OF DURATION CALCULUS 321
4 DECIDABILITY, UNDECIDABILITY AND MODEL CHECKING 332
5 SOME LINKS TO RELATED WORK 334
REFERENCES 336
DC INDEXES 345
THE LOGIC OF THE RAISE SPECIFICATION LANGUAGE
CHRIS GEORGE AND ANNE E. HAXTHAUSEN 349
1 INTRODUCTION 349
2 THE RSL LOGIC 352
3 THE AXIOMATIC SEMANTICS: A LOGIC FOR DEFINITION 365
4 THE RSL PROOF SYSTEM: A LOGIC FOR PROOF 369
5 CASE STUDY 372
6 CONCLUSIONS 393
REFERENCES 395
RAISE INDEXES 397
THE SPECIFICATION LANGUAGE TLA
+
STEPHAN MERZ 401
1 INTRODUCTION 401
2 EXAMPLE: A SIMPLE RESOURCE ALLOCATOR 402
3 TLA: THE TEMPORAL LOGIC OF ACTIONS 409
4 DEDUCTIVE SYSTEM VERIFICATION IN TLA 423
5 FORMALIZED MATHEMATICS: THE ADDED VALUE OF TLA+ 430
6 THE RESOURCE ALLOCATOR REVISITED 434
7 CONCLUSIONS 445
REFERENCES 446
TLA+ INDEXES 448
THE TYPED LOGIC OF PARTIAL FUNCTIONS AND THE VIENNA
DEVELOPMENT METHOD
JOHN S. FITZGERALD 453
1 INTRODUCTION 453
2 THE VIENNA DEVELOPMENT METHOD 454
3 A PROOF FRAMEWORK FOR VDM 464
4 THE TYPED LOGIC OF PARTIAL FUNCTIONS 467
5 THEORIES SUPPORTING VDM-SL 472
6 THREE APPROACHES TO SUPPORTING LOGIC IN VDM 477
7 CONCLUSIONS AND FUTURE DIRECTIONS 481
REFERENCES 482
CONTENTS
VDM INDEXES 485
Z LOGIC AND ITS APPLICATIONS
M C HENSON, M DEUTSCH AND S REEVES 489
1 INTRODUCTION 489
2 INITIAL CONSIDERATIONS 490
3 THE SPECIFICATION LOGIC 2
C
498
4 CONSERVATIVE EXTENSIONS 504
5 EQUATIONAL LOGIC 509
6 PRECONDITION LOGIC 509
7 OPERATION REFINEMENT 511
8 FOUR EQUIVALENT THEORIES 518
9 THE NON-LIFTED TOTALISATION 526
10 THE STRICTLY-LIFTED TOTALISATION 531
11 DATA REFINEMENT (FORWARD) 533
12 FOUR (FORWARD) THEORIES 536
13 THREE EQUIVALENT THEORIES 539
14 THE NON-LIFTED TOTALISATION UNDERLYING DATA REFINEMENT 545
15 DATA REFINEMENT (BACKWARD) 548
16 FOUR (BACKWARD) THEORIES 550
17 FOUR EQUIVALENT THEORIES 552
18 THE NON-LIFTED TOTALISATION UNDERLYING DATA REFINEMENT 557
19 DISCUSSION 561
20 OPERATION REFINEMENT AND MONOTONICITY IN THE SCHEMA CALCULUS . 564
21 DISTRIBUTIVITY PROPERTIES OF THE CHAOTIC COMPLETION 577
22 CONCLUSIONS 588
23 ACKNOWLEDGEMENTS 588
REFERENCES 589
PART III POSTLUDIUM
REVIEWS
DINES BJ0RNER AND MARTIN HENSON (EDITORS) 599
1 YURI GUREVICH: ASM 599
2 JEAN-RAYMOND ABRIAL: ON B AND EVENT-B 602
3 KOKICHI FUTATSUGI: FORMAL METHODS AND CAFEOBJ 604
4 PETER D. MOSSES: A VIEW OF THE CASL 607
5 ZHOU CHAOCHEN: DURATION CALCULUS 609
6 KLAUS HAVELUND: RAISE IN PERSPECTIVE 611
7 CLIFF B. JONES: VDM "POSTLUDIUM" 614
8 LESLIE LAMPORT: THE SPECIFICATION LANGUAGE TLA+ 616
9 JAMES C.P. WOODCOCK: Z LOGIC AND ITS APPLICATIONS 620
10 CLOSING: DINES BJ0RNER AND MARTIN C. HENSON 623 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author2 | Bjørner, Dines 1937- |
| author2_role | edt |
| author2_variant | d b db |
| author_GND | (DE-588)10903046X |
| author_facet | Bjørner, Dines 1937- |
| building | Verbundindex |
| bvnumber | BV023014226 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 140 |
| ctrlnum | (OCoLC)175285089 (DE-599)DNB985542179 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02370nam a2200601 c 4500</leader><controlfield tag="001">BV023014226</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080806 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">071121s2008 gw |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N39,0038</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">985542179</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540741060</subfield><subfield code="c">Gb. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)</subfield><subfield code="9">978-3-540-74106-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540741062</subfield><subfield code="c">Gb. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)</subfield><subfield code="9">3-540-74106-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540741077</subfield><subfield code="9">978-3-540-74107-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540741060</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12021086</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)175285089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB985542179</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logics of Specification Languages</subfield><subfield code="c">Dines Bjørner ... [ed.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer Berlin</subfield><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXI, 623 S.</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="650" ind1=" " ind2="4"><subfield code="a">Langages de programmation - Sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Spezifikationssprache</subfield><subfield code="0">(DE-588)4182217-1</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">Bjørner, Dines</subfield><subfield code="d">1937-</subfield><subfield code="0">(DE-588)10903046X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="u">http://d-nb.info/985542179</subfield><subfield code="3">Inhaltsverzeichnis</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=016218412&sequence=000001&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-016218412</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV023014226 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T19:10:37Z |
| indexdate | 2024-07-09T21:08:59Z |
| institution | BVB |
| isbn | 9783540741060 3540741062 9783540741077 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016218412 |
| oclc_num | 175285089 |
| open_access_boolean | |
| owner | DE-703 DE-11 |
| owner_facet | DE-703 DE-11 |
| physical | XXI, 623 S. |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Springer Berlin |
| record_format | marc |
| series2 | Monographs in Theoretical Computer Science |
| spelling | Logics of Specification Languages Dines Bjørner ... [ed.] Berlin [u.a.] Springer Berlin 2008 XXI, 623 S. txt rdacontent n rdamedia nc rdacarrier Monographs in Theoretical Computer Science Langages de programmation - Sémantique Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Spezifikationssprache (DE-588)4182217-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Spezifikationssprache (DE-588)4182217-1 s Logik (DE-588)4036202-4 s DE-604 Formale Methode (DE-588)4333722-3 s Bjørner, Dines 1937- (DE-588)10903046X edt http://d-nb.info/985542179 Inhaltsverzeichnis DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016218412&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logics of Specification Languages Langages de programmation - Sémantique Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Spezifikationssprache (DE-588)4182217-1 gnd Logik (DE-588)4036202-4 gnd Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4182217-1 (DE-588)4036202-4 (DE-588)4333722-3 (DE-588)4143413-4 |
| title | Logics of Specification Languages |
| title_auth | Logics of Specification Languages |
| title_exact_search | Logics of Specification Languages |
| title_exact_search_txtP | Logics of Specification Languages |
| title_full | Logics of Specification Languages Dines Bjørner ... [ed.] |
| title_fullStr | Logics of Specification Languages Dines Bjørner ... [ed.] |
| title_full_unstemmed | Logics of Specification Languages Dines Bjørner ... [ed.] |
| title_short | Logics of Specification Languages |
| title_sort | logics of specification languages |
| topic | Langages de programmation - Sémantique Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Spezifikationssprache (DE-588)4182217-1 gnd Logik (DE-588)4036202-4 gnd Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Langages de programmation - Sémantique Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) Semantics Spezifikationssprache Logik Formale Methode Aufsatzsammlung |
| url | http://d-nb.info/985542179 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016218412&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bjørnerdines logicsofspecificationlanguages |
Es ist kein Print-Exemplar vorhanden.
Inhaltsverzeichnis