Visit our Christmas Gift Finder
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 dispatched 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...

How to Build a Billion Dollar App
Added to basket
Automate The Boring Stuff With Python
Added to basket
Learning Python
Added to basket
£51.99
Paperback
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
C Programming in Easy Steps
Added to basket
Python Crash Course
Added to basket
£33.99
Paperback
Code
Added to basket
£21.99
Paperback
XML For Dummies
Added to basket
£21.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
JavaScript in Easy Steps
Added to basket
SQL in 10 Minutes, Sams Teach Yourself
Added to basket

Please sign in to write a review

Your review has been submitted successfully.