- 5 Ergebnisse
Kleinster Preis: € 148,90, größter Preis: € 242,01, Mittelwert: € 205,13
1
Logics of Specification Languages  Dines Bjorner (u. a.)  Buch  EATCS - Monographs in Theoretical Computer Science  Englisch  2007 - Bjorner, Dines
Bestellen
bei booklooker.de
€ 148,90
Versand: € 0,001
Bestellengesponserter Link
Bjorner, Dines:

Logics of Specification Languages Dines Bjorner (u. a.) Buch EATCS - Monographs in Theoretical Computer Science Englisch 2007 - gebunden oder broschiert

2007, ISBN: 9783540741060

[ED: Gebunden], [PU: 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… Mehr…

Versandkosten:Versandkostenfrei. (EUR 0.00) preigu
2
Logics of Specification Languages - Dines Bjorner#M. C. Henson
Bestellen
bei Thalia.de
€ 208,99
Bestellengesponserter Link

Dines Bjorner#M. C. Henson:

Logics of Specification Languages - gebunden oder broschiert

2007, ISBN: 9783540741060

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…

Nr. 14956740. Versandkosten:Kein Versand in Ihr Zielland., zzgl. Versandkosten
3
Logics of Specification Languages - Dines Bjørner; Martin C. Henson
Bestellen
bei Springer.com
€ 208,64
Versand: € 0,001
Bestellengesponserter Link
Dines Bjørner; Martin C. Henson:
Logics of Specification Languages - gebunden oder broschiert

ISBN: 9783540741060

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…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
4
Logics of Specification Languages
Bestellen
bei Indigo.ca
C$ 354,95
(ca. € 242,01)
Bestellengesponserter Link
Logics of Specification Languages - neues Buch

ISBN: 9783540741060

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…

new in stock. Versandkosten:zzgl. Versandkosten.
5
Logics of Specification Languages - Bjørner, Dines und Martin C. Henson
Bestellen
bei booklooker.de
€ 217,13
Versand: € 0,001
Bestellengesponserter Link
Bjørner, Dines und Martin C. Henson:
Logics of Specification Languages - gebrauchtes Buch

2007, ISBN: 9783540741060

[PU: Springer Berlin], Neubindung 3926260/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2008, PayPal, Klarna-Sofortüberweisung, Internationaler Versand

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

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.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logics of Specification Languages

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. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Detailangaben zum Buch - Logics of Specification Languages


EAN (ISBN-13): 9783540741060
ISBN (ISBN-10): 3540741062
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer-Verlag GmbH
624 Seiten
Gewicht: 1,230 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-01-27T20:09:58+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-01-19T18:32:23+01:00 (Berlin)
ISBN/EAN: 9783540741060

ISBN - alternative Schreibweisen:
3-540-74106-2, 978-3-540-74106-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: martin, henson, dines
Titel des Buches: language science, theoretical computer science, logic language, seven languages, monographs


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-07
Berlin; Heidelberg; DE
Sprache: Englisch
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XXII, 624 p. 69 illus.

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; 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; 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:

Neuestes ähnliches Buch:
9783642093456 Logics of Specification Languages (Bjørner, Dines (Herausgeber); Henson, Martin C. (Herausgeber))


< zum Archiv...