Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Contributors: Dines Bjørner (Editor); Martin C. Henson (Editor)
Edition: 1 edition
Publisher: Springer
Published: December 20, 2007
Language: eng
Format: Hardcover
Number of pages: 624
ISBN-13: 9783540741060
Subjects: Programming languages; Computers; Mathematics; Computer Books: Languages; Computer Science; Logic; Programming - Software Development; ASM (Abstract State Machines); CASL (Common Algebraic Specification Language); CafeOBJ; Duration Calculus; Event-B and B specification language; Formal methods; Formal specification languages; Mathematics / Logic; Programming techniques; Proof rules; RSL (RAISE Specification Language); Operating Systems - General; Programming - General