• Sign In / Register
  • Help
  • Basket0
Temporal Logic of Programs - Monographs in Theoretical Computer Science. An EATCS Series 8 (Paperback)
  • Temporal Logic of Programs - Monographs in Theoretical Computer Science. An EATCS Series 8 (Paperback)
zoom

Temporal Logic of Programs - Monographs in Theoretical Computer Science. An EATCS Series 8 (Paperback)

(author)
£69.99
Paperback 148 Pages / Published: 17/11/2011
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642715518
Number of pages: 148
Weight: 288 g
Dimensions: 244 x 170 x 8 mm
Edition: Softcover reprint of the original 1st ed. 198

You may also be interested in...

Eloquent Javascript, 2nd Ed.
Added to basket
CSS3 in Easy Steps
Added to basket
£10.99
Paperback
Automate The Boring Stuff With Python
Added to basket
C Programming in Easy Steps
Added to basket
SQL in Easy Steps
Added to basket
£10.99
Paperback
Coding for Beginners in easy steps
Added to basket
Learn Python the Hard Way
Added to basket
£30.59
Mixed media product
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
The C++ Programming Language
Added to basket
Fluent Python
Added to basket
£39.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
Python in Easy Steps
Added to basket
Code
Added to basket
£21.99
Paperback
Head First Java
Added to basket
£35.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
Arduino Projects For Dummies
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.