- 5 Results
Lowest price: € 160.49, highest price: € 222.48, average price: € 198.57
1
Logics of Specification Languages - Springer
Order
at Thalia.de
€ 203.29
Shipment: € 0.001
OrderSponsored link
Springer:

Logics of Specification Languages - new book

2007, ISBN: 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. Specific… More...

Nr. 24486507. Shipping costs:, Sofort per Download lieferbar, DE. (EUR 0.00)
2
Logics of Specification Languages - Springer
Order
at Orellfuessli.ch
CHF 243.90
(aprox. € 222.48)
Shipment: € 16.421
OrderSponsored link

Springer:

Logics of Specification Languages - new book

2007, ISBN: 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. Specific… More...

Nr. 24486507. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.42)
3
Logics of Specification Languages - Dines Bjørner; Martin C. Henson
Order
at Springer.com
€ 160.49
Shipment: € 0.001
OrderSponsored link
Dines Bjørner; Martin C. Henson:
Logics of Specification Languages - new book

ISBN: 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. Specific… More...

new in stock. Shipping costs:zzgl. Versandkosten. (EUR 0.00)
4
Logics of Specification Languages - Dines Bjørner; Martin C. Henson
Order
at lehmanns.de
€ 203.29
Shipment: € 0.001
OrderSponsored link
Dines Bjørner; Martin C. Henson:
Logics of Specification Languages - new book

2007, ISBN: 9783540741077

eBooks, eBook Download (PDF), 2008, [PU: Springer Berlin], Seiten: 624, Springer Berlin, 2007

Shipping costs:Download sofort lieferbar. (EUR 0.00)
5
Logics of Specification Languages - Dines Bjørner; Martin C. Henson
Order
at lehmanns.de
€ 203.29
Shipment: € 0.001
OrderSponsored link
Dines Bjørner; Martin C. Henson:
Logics of Specification Languages - new book

2007, ISBN: 9783540741077

eBooks, eBook Download (PDF), 2008, [PU: Springer Berlin], Springer Berlin, 2007

Shipping costs:Download sofort lieferbar. (EUR 0.00)

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book

Details of the book - Logics of Specification Languages


EAN (ISBN-13): 9783540741077
ISBN (ISBN-10): 3540741070
Publishing year: 2007
Publisher: Springer Berlin
624 Pages
Language: eng/Englisch

Book in our database since 2009-08-08T13:53:31+01:00 (London)
Detail page last modified on 2022-09-27T16:35:18+01:00 (London)
ISBN/EAN: 9783540741077

ISBN - alternate spelling:
3-540-74107-0, 978-3-540-74107-7
Alternate spelling and related search-keywords:
Book author: henson, martin
Book title: what logics mean


Information from Publisher

Author: Dines Bjørner; Martin C. Henson
Title: Monographs in Theoretical Computer Science. An EATCS Series; Logics of Specification Languages
Publisher: Springer; Springer Berlin
624 Pages
Publishing year: 2007-12-05
Berlin; Heidelberg; DE
Language: English
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

More/other books that might be very similar to this book

Latest similar book:
9783642093456 Logics of Specification Languages (Bjørner, Dines (Herausgeber); Henson, Martin C. (Herausgeber))


< to archive...