Temporal Logic and State Systems Image close
Temporal Logic and State Systems on Hardback by Stephan Merz
Temporal Logic and State Systems on Hardback by Stephan Merz
Show Hide Adult Content
Temporal Logic and State Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Programming languages

Temporal Logic and State Systems

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$212.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $53.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 16-26 July using International Courier

Explore more Texts in Theoretical Computer Science: An EATCS Series

See all products in this series

Parsing Schemata by Klaas Sikkel Save $43
$137.99
$181.95
Parsing Schemata
by Klaas Sikkel ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering 3 by Dines Bjorner
$298.99
Software Engineering 3
by Dines Bjorner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering 3 on Hardback by Dines Bjorner
$280.99
Software Engineering 3
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Software Engineering 2 on Hardback by Dines Bjorner Save $42
$150.99
$193.95
Software Engineering 2
by Dines Bjorner ~ Hardback
Available - Usually ships in 3-4 weeks
Abstract Computing Machines by Werner Kluge
$262.99
Abstract Computing Machines
by Werner Kluge ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Abstract Computing Machines on Hardback by Werner Kluge
$269.99
Abstract Computing Machines
by Werner Kluge ~ Hardback
Available - Usually ships in 3-4 weeks
Temporal Logic and State Systems by Stephan Merz
$219.99
Temporal Logic and State Systems
by Stephan Merz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering 2 by Dines Bjorner Save $43
$149.99
$193.95
Software Engineering 2
by Dines Bjorner ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Structural Complexity I by Josep Diaz Save $47
$133.99
$181.95
Structural Complexity I
by Josep Diaz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Theoretical Computer Science by Juraj Hromkovic
$262.99
Theoretical Computer Science
by Juraj Hromkovic ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Information and Randomness by Cristian S. Calude Save $17
$163.99
$181.95
Information and Randomness
by Cristian S. Calude ~ Paperback / softback
Available - Usually ships in 3-4 weeks
DNA Computing by Gheorghe Pa?un
$285.99
DNA Computing
by Gheorghe Pa?un ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Models of Computation on Hardback by Roberto Bruni
$163.99
Models of Computation
by Roberto Bruni ~ Hardback
Available - Usually ships in 3-4 weeks
Dissemination of Information in Optical Networks: on Hardback by Subir Bandyopadhyay Save $7
$139.99
$147.95
Dissemination of Information in Optical Networks:
by Subir Bandyopadhyay ~ Hardback
Available - Usually ships in 3-4 weeks
Modelling Distributed Systems on Hardback by Wan Fokkink
$134.99
Modelling Distributed Systems
by Wan Fokkink ~ Hardback
Available - Usually ships in 3-4 weeks
Interactive Theorem Proving and Program Development on Hardback by Yves Bertot
$294.99
Interactive Theorem Proving and Program Development
by Yves Bertot ~ Hardback
Available - Usually ships in 3-4 weeks

Description

Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting for the specification and verification of state based systems. This book, based on manifold university lectures given by the authors, gives a comprehensive description of this field. It presents concisely and uniformly the up to date material of the theory and applications of linear and branching time Temporal Logic, Temporal Logic of Actions, automata theoretical connections, model checking and others.All theoretical details as well as the numerous application examples are elaborated carefully and with all formal rigor, so intended to serve as a basic source and reference for active lectures and researchers.
Release date Australia
March 27th, 2008
Audiences
  • Professional & Vocational
  • Tertiary Education (US: College)
Illustrations
34 Illustrations, black and white; XII, 436 p. 34 illus.
Pages
436
Dimensions
156x234x25
ISBN-13
9783540674016
Product ID
3067357

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by Stephan Merz

See all books by this author

Temporal Logic and State Systems by Stephan Merz
$219.99
Temporal Logic and State Systems
by Stephan Merz ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Temporal Logic of Programs by Fred Kroger Save $45
$134.99
$180.95
Temporal Logic of Programs
by Fred Kroger ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general