Temporal Logic and State Systems
Fred Kröger, Stephan Merz
₹2,790
Temporal Logic of Programs
by Fred Kroger
Springer Verlag · 1987
₹3,704
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Temporal Logic of Programs is written by Fred Kroger. This edition from Springer Verlag (1987) has 148 pages. It belongs to the EATCS monographs on theoretical computer science series.
Topics covered include Computer programming, Symbolic and mathematical Logic, Programozás and Logique symbolique et mathématique.
About the author: Fred Kröger (born 1945).
Book details
- ISBN-13
- 9780387170305
- ISBN-10
- 0387170308
- Author
- Fred Kroger
- Publisher
- Springer Verlag
- Author dates
- Fred Kröger (born 1945)
- Published
- 1987
- Series
- EATCS monographs on theoretical computer science
- Pages
- 148
- Language
- English
- Condition
- New
- Subject
- Computer programming
More in Computer programming
Einführung in Die Informatik
Fred Kröger
₹3,141
A Practical Theory of Programming
Eric C. R. Hehner
₹4,263
Programming with Posix Threads
David R. Butenhof
₹2,330
EVOLVE - A Bridge Between Probability, Set Oriented Numerics, and Evolutionary Computation III
Oliver Schuetze, Carlos A. Coello, Alexandru-Adrian Tantar, Emilia Tantar, Pascal Bouvry, Pierre Del Moral, Pierrick Legrand
₹11,567
The Psychology of Computer Programming
Gerald M. Weinberg
₹3,002
The Art of Immutable Architecture
Michael L. Perry
₹5,420
Empirical Software Engineering Issues
Victor Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl
₹3,391
Principles and Practice of Constraint Programming - Cp'96
Eugene C. Freuder
₹5,674
Xamarin Continuous Integration and Delivery
Gerald Versluis
₹2,922
Design Driven Testing
Matt Stephens, Doug Rosenberg
₹4,625
Recent Trends in Data Type Specification
Hartmut Ehrig, Fernando Orejas
₹5,554