Einführung in Die Informatik
Fred Kröger
₹3,141
Temporal Logic and State Systems
by Fred Kröger, Stephan Merz
Springer · 2004 · Hardcover
₹2,790
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
Published by Springer in 2004, Temporal Logic and State Systems by Fred Kröger & Stephan Merz runs to 436 pages in hardcover.
The book deals with Tense (Logic), Symbolic and mathematical Logic, Time and Programming languages.
Book details
- ISBN-13
- 9783540674016
- ISBN-10
- 3540674012
- Authors
- Fred Kröger, Stephan Merz
- Publisher
- Springer
- Published
- 2004
- Edition
- 2008
- Binding
- Hardcover
- Pages
- 436
- Language
- English
- Condition
- New
- Subject
- Programming languages
More by Fred Kröger and related titles
Temporal Logic of Programs
Fred Kroger
₹3,704
wxPython in Action by Noel Rappin – Python GUI Programming
Noel Rappin, Robin Dunn
₹5,242
Professional F# 2.0
Aaron Erickson, Rick Minerich, Ted Neward, Talbott Crowell
₹2,828
Oracle Adf 11gr2 Development Beginner's Guide
Vinod Krishnan
₹5,065
Scala Design Patterns
John Hunt
₹7,214
Free-Format RPG IV
Jim Martin
₹3,525
Programming Languages and Systems
Jacques Garrigue
₹4,272
Powershell in Depth
Don Jones, Jeffery Hicks, Richard Siddaway
₹3,890
Semantics of Programming Languages – Structures & Techniques (Paper) (ISE)
Carl A. Gunter
₹8,132
Programming Languages and Systems
Atsushi Igarashi
₹4,285
Visual Studio .Net Tips and Tricks
Minh T. Nguyen
₹1,214