• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Logics of Specification Languages

Logics of Specification Languages

Paperback

Series: Monographs in Theoretical Computer Science. an Eatcs

FictionGeneral ComputersProgramming

ISBN10: 3642093450
ISBN13: 9783642093456
Publisher: Springer Nature
Published: Nov 22 2010
Pages: 624
Weight: 1.98
Height: 1.31 Width: 6.14 Depth: 9.21
Language: English
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.

1 different editions

Also available

Also in

Fiction