- 5 Résultats
prix le plus bas: € 148,90, prix le plus élevé: € 242,01, prix moyen: € 205,13
1
Logics of Specification Languages  Dines Bjorner (u. a.)  Buch  EATCS - Monographs in Theoretical Computer Science  Englisch  2007 - Bjorner, Dines
Commander
sur booklooker.de
€ 148,90
Envoi: € 0,001
CommanderLien sponsorisé
Bjorner, Dines:

Logics of Specification Languages Dines Bjorner (u. a.) Buch EATCS - Monographs in Theoretical Computer Science Englisch 2007 - edition reliée, livre de poche

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… Plus…

Frais d'envoiVersandkostenfrei. (EUR 0.00) preigu
2
Logics of Specification Languages - Dines Bjorner#M. C. Henson
Commander
sur Thalia.de
€ 208,99
CommanderLien sponsorisé

Dines Bjorner#M. C. Henson:

Logics of Specification Languages - edition reliée, livre de poche

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… Plus…

Nr. 14956740. Frais d'envoiKein Versand in Ihr Zielland., Livraison non-comprise
3
Logics of Specification Languages - Dines Bjørner; Martin C. Henson
Commander
sur Springer.com
€ 208,64
Envoi: € 0,001
CommanderLien sponsorisé
Dines Bjørner; Martin C. Henson:
Logics of Specification Languages - edition reliée, livre de poche

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… Plus…

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
4
Logics of Specification Languages
Commander
sur Indigo.ca
C$ 354,95
(environ € 242,01)
CommanderLien sponsorisé
Logics of Specification Languages - nouveau livre

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… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
5
Logics of Specification Languages - Bjørner, Dines und Martin C. Henson
Commander
sur booklooker.de
€ 217,13
Envoi: € 0,001
CommanderLien sponsorisé
Bjørner, Dines und Martin C. Henson:
Logics of Specification Languages - livre d'occasion

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
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.

Informations détaillées sur le livre - Logics of Specification Languages


EAN (ISBN-13): 9783540741060
ISBN (ISBN-10): 3540741062
Version reliée
Livre de poche
Date de parution: 2007
Editeur: Springer-Verlag GmbH
624 Pages
Poids: 1,230 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2008-01-27T20:09:58+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-01-19T18:32:23+01:00 (Zurich)
ISBN/EAN: 3540741062

ISBN - Autres types d'écriture:
3-540-74106-2, 978-3-540-74106-0
Autres types d'écriture et termes associés:
Auteur du livre: martin, henson, dines
Titre du livre: language science, theoretical computer science, logic language, seven languages, monographs


Données de l'éditeur

Auteur: Dines Bjørner; Martin C. Henson
Titre: Monographs in Theoretical Computer Science. An EATCS Series; Logics of Specification Languages
Editeur: Springer; Springer Berlin
624 Pages
Date de parution: 2007-12-07
Berlin; Heidelberg; DE
Langue: Anglais
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

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783642093456 Logics of Specification Languages (Bjørner, Dines (Herausgeber); Henson, Martin C. (Herausgeber))


< pour archiver...