By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… Mehr…
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages. TOC:An Overview.- Abstract State Machines for the Classroom.- The Event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to CafeOBJ Logic.- CASL - The Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed Logic of Partial Functions and the Vienna Development Method.- Z and Its Applications.- Reviews. eBook Springer PDF, Springer, 05.12.2007, Springer, 2007<
Thalia.de
Nr. 24486507. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… Mehr…
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages. TOC:An Overview.- Abstract State Machines for the Classroom.- The Event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to CafeOBJ Logic.- CASL - The Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed Logic of Partial Functions and the Vienna Development Method.- Z and Its Applications.- Reviews. eBook Springer 05.12.2007, Springer, Springer<
Orellfuessli.ch
Nr. 24486507. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.42) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… Mehr…
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages. Books > Computer Science eBook, Springer Shop<
Springer.com
new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… Mehr…
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages. TOC:An Overview.- Abstract State Machines for the Classroom.- The Event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to CafeOBJ Logic.- CASL - The Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed Logic of Partial Functions and the Vienna Development Method.- Z and Its Applications.- Reviews. eBook Springer PDF, Springer, 05.12.2007, Springer, 2007<
Nr. 24486507. Versandkosten:, Sofort per Download lieferbar, DE. (EUR 0.00)
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… Mehr…
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages. TOC:An Overview.- Abstract State Machines for the Classroom.- The Event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to CafeOBJ Logic.- CASL - The Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed Logic of Partial Functions and the Vienna Development Method.- Z and Its Applications.- Reviews. eBook Springer 05.12.2007, Springer, Springer<
Nr. 24486507. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.42)
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specific… Mehr…
By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modelling method; a methodological guide to CafeOBJ logic; CASL, the Common Algebraic Specification Language; the Duration Calculus; the logic of the RAISE specification language (RSL); the specification language TLA+; the typed logic of partial functions and the Vienna Development Method (VDM); and Z logic and its applications. Each chapter is self-contained, with references, and symbol and concept indexes. Finally, in a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. With extensive references and pointers to future developments, this book will be of interest to researchers and graduate students engaged with formal specification languages. Books > Computer Science eBook, Springer Shop<
new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Detailangaben zum Buch - Logics of Specification Languages
EAN (ISBN-13): 9783540741077 ISBN (ISBN-10): 3540741070 Erscheinungsjahr: 2007 Herausgeber: Springer Berlin 624 Seiten Sprache: eng/Englisch
Buch in der Datenbank seit 2009-08-08T14:53:31+02:00 (Vienna) Detailseite zuletzt geändert am 2022-09-27T17:35:18+02:00 (Vienna) ISBN/EAN: 9783540741077
ISBN - alternative Schreibweisen: 3-540-74107-0, 978-3-540-74107-7 Alternative Schreibweisen und verwandte Suchbegriffe: Autor des Buches: henson, martin Titel des Buches: what logics mean
Daten vom Verlag:
Autor/in: Dines Bjørner; Martin C. Henson Titel: Monographs in Theoretical Computer Science. An EATCS Series; Logics of Specification Languages Verlag: Springer; Springer Berlin 624 Seiten Erscheinungsjahr: 2007-12-05 Berlin; Heidelberg; DE Sprache: Englisch 149,79 € (DE) 154,00 € (AT) 177,00 CHF (CH) Available XXII, 624 p. 69 illus.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; ASM (Abstract State Machines); Bjørner; CASL (Common Algebraic Specification Language); CafeOBJ; Duration Calculus; Event-B and B specification language; Formal methods; Formal specification languages; Logic; Programming techniques; Proof rules; RSL (RAIS; B; Formal Languages and Automata Theory; Software Engineering; Computer Science Logic and Foundations of Programming; Theory of Computation; Computer Science; Software Engineering; BC
Preludium.- An Overview.- The Languages.- Abstract State Machines for the Classroom.- The event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to the CafeOBJ Logic.- Casl — the Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed Logic of Partial Functions and the Vienna Development Method.- Z Logic and Its Applications.- Postludium.- Reviews. Unique overview of the key current formal specification languages Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten: