2010, ISBN: 9783642093456
Gebundene Ausgabe
[ED: Softcover], [PU: Springer, Berlin], This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
2010, ISBN: 9783642093456
Gebundene Ausgabe
[ED: Softcover], [PU: Springer, Berlin], This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on… Mehr…
booklooker.de buecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9783642093456
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…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2010, ISBN: 3642093450
Gebundene Ausgabe
Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9783642093456
Gebundene Ausgabe
Softcover reprint of hardcover 1st ed. 2008, Softcover, Buch, [PU: Springer Berlin]
lehmanns.de Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2010, ISBN: 9783642093456
Gebundene Ausgabe
[ED: Softcover], [PU: Springer, Berlin], This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on… Mehr…
2010, ISBN: 9783642093456
Gebundene Ausgabe
[ED: Softcover], [PU: Springer, Berlin], This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on… Mehr…
ISBN: 9783642093456
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…
2010, ISBN: 3642093450
Gebundene Ausgabe
Softcover reprint of hardcover 1st ed. 2008 Kartoniert / Broschiert, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]
2010, ISBN: 9783642093456
Gebundene Ausgabe
Softcover reprint of hardcover 1st ed. 2008, Softcover, Buch, [PU: Springer Berlin]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logics of Specification Languages
EAN (ISBN-13): 9783642093456
ISBN (ISBN-10): 3642093450
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
Buch in der Datenbank seit 2014-02-13T23:40:01+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-06-24T15:50:51+02:00 (Vienna)
ISBN/EAN: 9783642093456
ISBN - alternative Schreibweisen:
3-642-09345-0, 978-3-642-09345-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: henson, dine, dines
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: 2010-11-22
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
XXII, 624 p. 69 illus.
BC; Hardcover, Softcover / 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; Formal Languages and Automata Theory; Software Engineering; Computer Science Logic and Foundations of Programming; Theory of Computation; Software Engineering; BB; EA
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:
Neuestes ähnliches Buch:
9783540741077 Logics of Specification Languages (Dines Bjørner; Martin C. Henson)
< zum Archiv...