Logics of Specification Languages Dines Bjorner (u. a.) Buch EATCS - Monographs in Theoretical Computer Science Englisch 2007 - gebonden uitgave, pocketboek
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… Meer...
booklooker.de |
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… Meer...
Thalia.de Nr. 14956740. Verzendingskosten:Kein Versand in Ihr Zielland., exclusief verzendingskosten Details... |
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… Meer...
Springer.com new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00) Details... |
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… Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
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
booklooker.de |
Logics of Specification Languages Dines Bjorner (u. a.) Buch EATCS - Monographs in Theoretical Computer Science Englisch 2007 - gebonden uitgave, pocketboek
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… Meer...
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… Meer...
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… Meer...
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… Meer...
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
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Logics of Specification Languages
EAN (ISBN-13): 9783540741060
ISBN (ISBN-10): 3540741062
Gebonden uitgave
pocket book
Verschijningsjaar: 2007
Uitgever: Springer-Verlag GmbH
624 Bladzijden
Gewicht: 1,230 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2008-01-27T20:09:58+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-01-19T18:32:23+01:00 (Amsterdam)
ISBN/EAN: 9783540741060
ISBN - alternatieve schrijfwijzen:
3-540-74106-2, 978-3-540-74106-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: martin, henson, dines
Titel van het boek: language science, theoretical computer science, logic language, seven languages, monographs
Gegevens van de uitgever
Auteur: Dines Bjørner; Martin C. Henson
Titel: Monographs in Theoretical Computer Science. An EATCS Series; Logics of Specification Languages
Uitgeverij: Springer; Springer Berlin
624 Bladzijden
Verschijningsjaar: 2007-12-07
Berlin; Heidelberg; DE
Taal: Engels
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
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783642093456 Logics of Specification Languages (Bjørner, Dines (Herausgeber); Henson, Martin C. (Herausgeber))
< naar Archief...