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… Altro …
Thalia.de Nr. 24486507. Costi di spedizione:, Sofort per Download lieferbar, DE. (EUR 0.00) Details... |
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… Altro …
Orellfuessli.ch Nr. 24486507. Costi di spedizione:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Sofort per Download lieferbar, zzgl. Versandkosten. (EUR 16.42) Details... |
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… Altro …
Springer.com new in stock. Costi di spedizione:zzgl. Versandkosten. (EUR 0.00) Details... |
2007, ISBN: 9783540741077
eBooks, eBook Download (PDF), 2008, [PU: Springer Berlin], Seiten: 624, Springer Berlin, 2007
lehmanns.de Costi di spedizione:Download sofort lieferbar. (EUR 0.00) Details... |
2007, ISBN: 9783540741077
eBooks, eBook Download (PDF), 2008, [PU: Springer Berlin], Springer Berlin, 2007
lehmanns.de Costi di spedizione:Download sofort lieferbar. (EUR 0.00) Details... |
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… Altro …
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… Altro …
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… Altro …
2007, ISBN: 9783540741077
eBooks, eBook Download (PDF), 2008, [PU: Springer Berlin], Seiten: 624, Springer Berlin, 2007
2007, ISBN: 9783540741077
eBooks, eBook Download (PDF), 2008, [PU: Springer Berlin], Springer Berlin, 2007
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Logics of Specification Languages
EAN (ISBN-13): 9783540741077
ISBN (ISBN-10): 3540741070
Anno di pubblicazione: 2007
Editore: Springer Berlin
624 Pagine
Lingua: eng/Englisch
Libro nella banca dati dal 2009-08-08T14:53:31+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2022-09-27T17:35:18+02:00 (Rome)
ISBN/EAN: 9783540741077
ISBN - Stili di scrittura alternativi:
3-540-74107-0, 978-3-540-74107-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : henson, martin
Titolo del libro: what logics mean
Dati dell'editore
Autore: Dines Bjørner; Martin C. Henson
Titolo: Monographs in Theoretical Computer Science. An EATCS Series; Logics of Specification Languages
Editore: Springer; Springer Berlin
624 Pagine
Anno di pubblicazione: 2007-12-05
Berlin; Heidelberg; DE
Lingua: Inglese
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
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783642093456 Logics of Specification Languages (Bjørner, Dines (Herausgeber); Henson, Martin C. (Herausgeber))
< Per archiviare...