Holdings: Logics of Specification Languages

Logics of Specification Languages:

Saved in:

Bibliographic Details
Other Authors:	Bjørner, Dines 1937- (Editor)
Format:	Book
Language:	English
Published:	Berlin [u.a.] Springer Berlin 2008
Series:	Monographs in Theoretical Computer Science
Subjects:	Langages de programmation - Sémantique Logique symbolique et mathématique Logic, Symbolic and mathematical Programming languages (Electronic computers) > Semantics Spezifikationssprache Logik Formale Methode Aufsatzsammlung
Online Access:	Inhaltsverzeichnis Inhaltsverzeichnis
Physical Description:	XXI, 623 S.
ISBN:	9783540741060 3540741062 9783540741077

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes
Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items