Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming

Buy Now

Temporal Logic of Programs (Paperback, Softcover reprint of the original 1st ed. 1987) Loot Price: R1,436
Discovery Miles 14 360
Repayment Terms: R135 pm x 12*
Add to cart
Temporal Logic of Programs (Paperback, Softcover reprint of the original 1st ed. 1987): Fred Kroeger

Temporal Logic of Programs (Paperback, Softcover reprint of the original 1st ed. 1987)

Fred Kroeger

Series: Monographs in Theoretical Computer Science. An EATCS Series, 8

 (sign in to rate)
Loot Price R1,436 Discovery Miles 14 360 | Repayment Terms: R135 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Monographs in Theoretical Computer Science. An EATCS Series, 8
Release date: November 2011
First published: 1987
Authors: Fred Kroeger
Dimensions: 244 x 170 x 8mm (L x W x T)
Format: Paperback
Pages: 148
Edition: Softcover reprint of the original 1st ed. 1987
ISBN-13: 978-3-642-71551-8
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > General
LSN: 3-642-71551-6
Barcode: 9783642715518

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,400 Discovery Miles 24 000
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,660 R1,485 Discovery Miles 14 850
Program Construction - Calculating Implementations from Specifications (Paperback): Roland Backhouse
Program Construction - Calculating…
Roland Backhouse Paperback R1,358 Discovery Miles 13 580
Programming Logic & Design, Comprehensive (Paperback, 9th edition): Joyce Farrell
Programming Logic & Design…
Joyce Farrell Paperback R1,253 R1,123 Discovery Miles 11 230
C++ How to Program: Horizon Edition (Paperback, 8th edition): Harvey Deitel, Paul Deitel
C++ How to Program: Horizon Edition
Harvey Deitel, Paul Deitel Paperback R1,779 Discovery Miles 17 790
Starting Out with Python, Global Edition (Paperback, 5th edition): Tony Gaddis
Starting Out with Python, Global Edition
Tony Gaddis Paperback R2,272 R2,114 Discovery Miles 21 140
Java How to Program, Late Objects, Global Edition (Paperback, 11th edition): Paul Deitel, Harvey Deitel
Java How to Program, Late Objects…
Paul Deitel, Harvey Deitel Paperback R900 R750 Discovery Miles 7 500
Data Abstraction and Problem Solving with Java: Walls and Mirrors - International Edition (Paperback, 3rd edition): Janet...
Data Abstraction and Problem Solving…
Janet Prichard, Frank Carrano Paperback R2,163 Discovery Miles 21 630
The Data Quality Blueprint - A Practical and Holistic Approach (Hardcover): John Parkinson
The Data Quality Blueprint - A Practical…
John Parkinson Hardcover R1,581 Discovery Miles 15 810
Using UML - Software Engineering with Objects and Components (Paperback, 2nd edition): Perdita Stevens
Using UML - Software Engineering with…
Perdita Stevens Paperback R2,169 Discovery Miles 21 690
Object-Oriented Game Development (Paperback): Julian Gold
Object-Oriented Game Development
Julian Gold Paperback R2,202 R1,648 Discovery Miles 16 480
Software Engineering for Real-Time Systems (Paperback): Jim Cooling
Software Engineering for Real-Time…
Jim Cooling Paperback R2,301 R2,036 Discovery Miles 20 360

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners