Deutsch
Deutschland
Anmelden
Tipp von eurobuch.de
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 9783540741077 ankaufen:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 118,99 €, größter Preis: 202,29 €, Mittelwert: 152,22 €
Logics of Specification Languages
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Logics of Specification Languages - neues Buch

ISBN: 9783540741077

ID: 9783540741077

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. Logics of Specification Languages: 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., Springer-Verlag Gmbh

Neues Buch Rheinberg-Buch.de
Ebook, Englisch, Neuware Versandkosten:Ab 20¤ Versandkostenfrei in Deutschland, Sofort lieferbar, DE. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logics of Specification Languages - Bjørner, Dines; Henson, Martin C.
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bjørner, Dines; Henson, Martin C.:
Logics of Specification Languages - neues Buch

2007, ISBN: 3540741070

ID: 9783540741077

In englischer Sprache. Verlag: Springer Berlin, 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. PC-PDF, 624 Seiten, XXII Seiten, 624 Seiten, [GR: 9632 - Nonbooks, PBS / Informatik, EDV/Informatik], [SW: - Informatik], [Ausgabe: 2008][PU:Springer Berlin], [PU: Springer, Berlin/Heidelberg]

Neues Buch Libreka.de
Libreka
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logics of Specification Languages - Dines Bjørner & Martin C. Henson
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjørner & Martin C. Henson:
Logics of Specification Languages - neues Buch

2007, ISBN: 9783540741077

ID: 532235300

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., 2007, [PU: Springer, Berlin/Heidelberg]

Neues Buch iTunes.com
Versandkosten:Download (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logics of Specification Languages - Dines Bjørner;  Dines Bjorner;  Martin C. Henson;  Martin C. Henson
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjørner; Dines Bjorner; Martin C. Henson; Martin C. Henson:
Logics of Specification Languages - Erstausgabe

2007, ISBN: 9783540741077

ID: 21781023

[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer-Verlag]

Neues Buch Lehmanns.de
Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Logics of Specification Languages - Dines Bjørner;  Dines Bjørner;  Martin C. Henson;  Martin C. Henson
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Dines Bjørner; Dines Bjørner; Martin C. Henson; Martin C. Henson:
Logics of Specification Languages - Erstausgabe

2007, ISBN: 9783540741077

ID: 21781023

[ED: 1], Auflage, eBook Download (PDF), eBooks, [PU: Springer-Verlag]

Neues Buch Lehmanns.de
Versandkosten:Download sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch

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 08.08.2009 14:53:31
Buch zuletzt gefunden am 26.10.2016 16:52:50
ISBN/EAN: 9783540741077

ISBN - alternative Schreibweisen:
3-540-74107-0, 978-3-540-74107-7


< zum Archiv...
Benachbarte Bücher