Second Hand Books

Non-Fiction Books

Computing & I.T.

Computer science

Temporal Logic of Programs

Skip to product information

1 / of 1

Temporal Logic of Programs by Fred Krger

Name: Temporal Logic of Programs
Brand: WoB
SKU: 9783642715518
Availability: InStock

Regular price

Condition -

Checking stock... Checking stock... Order before it is gone

Regular price

Condition -

Checking stock... Checking stock... Order before it is gone

Select Condition

Part of Monographs In Theoretical Computer Science An Eatcs Series series

The feel-good place to buy books

Free UK delivery over £5
10% off preloved books when you join +Plus
Buying preloved emits 46% less CO2 than new
Give your books a new home - sell them back to us!

Temporal Logic of Programs by Fred Krger

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.

Fundamentals of Algebraic Graph TransformationHartmut Ehrig
Models and Algorithms of Time-Dependent SchedulingStanislaw Gawiejnowicz
Theoretical Aspects of Distributed Computing in Sensor NetworksSotiris Nikoletseas
Handbook of Weighted AutomataManfred Droste
Coping with Selfishness in Congestion GamesVittorio Bil
First-Order Programming TheoriesTamas Gergely
Restricted-Orientation ConvexityEugene Fink
Fault-Tolerant Search AlgorithmsFerdinando Cicalese
Patterns in Permutations and WordsSergey Kitaev
Semantic Integration of Heterogeneous Software SpecificationsMartin Groerhode
Theoretical Aspects of Local SearchWil Michiels
ComputabilityKlaus Weihrauch
Syntax-Directed SemanticsHeiko Vogler
The Logic of Partial InformationAreski Nait Abdallah
Computing in Horn Clause TheoriesPeter Padawitz
Nonsequential ProcessesEike Best
Data Structures and Algorithms 3K Mehlhorn
Relations and GraphsGunther Schmidt
Fundamentals of Algebraic Specification 1Hartmut Ehrig
Iteration TheoriesStephen L Bloom
Semirings, Automata, LanguagesW Kuich
Data Structures and Algorithms 1K Mehlhorn
Petri NetsWolfgang Reisig
Kolmogorov Complexity and Computational ComplexityOsamu Watanabe
Confluent String RewritingMatthias Jantzen
Fundamentals of Algebraic Specification 2Hartmut Ehrig
Parsing TheorySeppo Sippu
Finiteness and Regularity in Semigroups and Formal LanguagesAldo De Luca
Coloured Petri NetsKurt Jensen
Algorithms in Combinatorial GeometryHerbert Edelsbrunner
Logics of Specification LanguagesMartin Henson
Graph and Model TransformationHartmut Ehrig
UnfoldingsJavier Esparza
Stochastic Coalgebraic LogicErnst-Erich Doberkat
Process Algebras for Petri NetsRoberto Gorrieri

SKU	Unavailable
ISBN 13	9783642715518
ISBN 10	3642715516
Title	Temporal Logic of Programs
Author	Fred Krger
Series	Monographs In Theoretical Computer Science An Eatcs Series
Condition	Unavailable
Binding Type	Paperback
Publisher	Springer
Year published	2011-11-17
Number of pages	148
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
Note	Unavailable