Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Temporal Logic and State Systems

Language EnglishEnglish
Book Hardback
Book Temporal Logic and State Systems Fred Kröger
Libristo code: 01567359
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2008
Temporal Logic has been developed during the last 25 years to a basic and powerful formal setting fo... Full description
? points 197 b
81.74 €
159.88  лв
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Affordable
Juste une question de Temps Sarah Barzyk / Book Paperback
common.buy 9.75 € 19.06 лв
Servicio Gallego de Salud. Temario común Miguel Ángel Estévez Fernández / Book Paperback
common.buy 68.47 € 133.91 лв
Civil Law Status Of Trade Marks Zafar Babakulov / Book Paperback
common.buy 68.00 € 132.99 лв
Erzahlung seiner Fluchtversuche aus Magdeburg nach eigenhandigen Aufzeichnungen Friedrich von Trenck / Book Paperback
common.buy 16.18 € 31.64 лв
Sophienlust 299 - Familienroman Elisabeth Swoboda / E-book Adobe ePub DRM
common.buy 4.04 € 7.90 лв
El banc blau ALBERT ASENSIO / Book Hardback
common.buy 22.66 € 44.32 лв
W hołdzie Katalonii Orwell George / Book Paperback
common.buy 11.61 € 22.72 лв
W cieniu błyskawic. Trylogia Magów Szkła. Tom 1 Brian McClellan / Book Paperback
common.buy 17.58 € 34.38 лв
Das Alte Reich. Volker Press / Book Paperback
common.buy 144.51 € 282.64 лв
The Cruel Agreement - Versprochen an den Teufel / Book Paperback
common.buy 21.00 € 41.08 лв
Silberhaar (Wandkalender 2026 DIN A4 hoch), CALVENDO Monatskalender Calvendo / Calendar/Diary Calendar
common.buy 20.80 € 40.67 лв
Chambre Des Deputes. Aux Chambres. Ne Precipitons Rien Ou Un Mot Sans Auteur / Book Paperback
common.buy 11.93 € 23.32 лв
Škola kreslení roztomilých příšerek Naomi Lord / Book Paperback
common.buy 15.19 € 29.72 лв
La Pandilla 2 Metodická příručka Elena González Hortelano / Book Paperback
common.buy 25.52 € 49.90 лв
Heliotropismus der Tiere und seine UEbereinstimmung Jacques Loeb / Book Paperback
common.buy 16.18 € 31.64 лв
Mariage de Mlle Marguerite Dauve Avec M. Lucien Guy, 18 Novembre 1890 Romain Sourrieu / Book Paperback
common.buy 12.76 € 24.95 лв
PIANO TRIO -PARTITION+PARTIES SEPAREES WOLFGANG FORTNER Printed items Sheet music
common.buy 48.44 € 94.75 лв
Le rêve du collectionneur Pierre FURLAN Book Paperback
common.buy 30.60 € 59.85 лв
Sur le sentier du SISU - Pour développer l'énergie du gagnant en Soi - Livre + CD Saint-Laurent / Book binding.
common.buy 31.79 € 62.18 лв
j’aime pas les bisous Monfils / Book Hardback
common.buy 17.53 € 34.28 лв
Le journal de bord d'une hôtesse de l'air Nadame / Book Paperback
common.buy 14.00 € 27.38 лв
Die Volkserhebung Der Jahre 1848 Und 1849 In Deutschland (1900) Otto Hartmann / Book Paperback
common.buy 29.82 € 58.32 лв
Historien om populära samtida uppfinningar Ashoka Jahnavi Prasad / Book Paperback
common.buy 10.37 € 20.28 лв
Actitud ANNE LACATON / Book Paperback
common.buy 16.18 € 31.64 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Temporal Logic and State Systems
Author Fred Kröger, Stefan Merz
Language English
Binding Book - Hardback
Date of issue 2008
Number of pages 436
EAN 9783540674016
ISBN 3540674012
Libristo code 01567359
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 840
Dimensions 155 x 235 x 30

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Temporal Logic: Volume 1 Dov M. Gabbay / Book Hardback
common.buy 517.93 € 1 012.99 лв
Medical Terminology for Healthcare Translators: English-Spanish Medical Terms Jose Luis Leyva / Book Paperback
common.buy 13.95 € 27.28 лв
Growing Tinda gourd (Citrullus vulgaris L.) under saline environment Mujahid Ali / Book Paperback
common.buy 37.86 € 74.05 лв
Effect of Simulated Acid Rain on Sunflower Plant Nand Lal / Book Paperback
common.buy 61.41 € 120.11 лв
ANT Kevin Ingam / Book Hardback
common.buy 38.85 € 75.98 лв
Mesh Dependence in PDE-Constrained Optimisation Tobias Schwedes / Book Paperback
common.buy 61.31 € 119.91 лв
The Cold Calling Equation: Problem Solved Michael Halper / Book Paperback
common.buy 15.76 € 30.83 лв
Nazir Akbarabadi - 'Father of the Nazm': Selected Poems Nazir Akbarabadi / Book Paperback
common.buy 23.91 € 46.76 лв
Too Fool For Cool BEN SCHNEIDER / Book Paperback
common.buy 25.20 € 49.30 лв
Koala Adults Coloring Book: Stress-relief Coloring Book For Grown-ups Balloon Publishing / Book Paperback
common.buy 8.71 € 17.03 лв
National youth anti-drug media campaign: how to ensure the program operates efficiently and effectively United States Congress / Book Paperback
common.buy 22.09 € 43.21 лв
JOURNAL OF THE AMERICAN INSTITUTE OF ARC AMERICAN INSTITUTE O / Book Hardback
common.buy 29.82 € 58.32 лв
Lead in Soil WIXSON / Book Hardback
common.buy 152.81 € 298.87 лв
ROCKFORDS FORGOTTEN DRIVING PARK Amanda Becker / Book Paperback
common.buy 17.32 € 33.87 лв
Cannonball Moments: Telling Your Story, Deepening Your Faith Eric A. Clayton / Book Paperback
common.buy 15.71 € 30.73 лв
Pop Harry Potter Holiday Dumbledore Vinyl Figure Funko / Game/Toy Toy
common.buy 12.44 € 24.34 лв
Work From Home- Work For Pain Tripti Pandey / Book Paperback
common.buy 57.68 € 112.80 лв
A History of Mongolian Shamanism Dalai Chuluunii / Book Paperback
common.buy 119.77 € 234.24 лв
100 UNOFF ROBLOX TOP 100 GAMES FARSHORE / Book Hardback
common.buy 17.11 € 33.47 лв
Platform Engineering with Fractal Architecture Angelo Nicolosi / Book Paperback
common.buy 47.77 € 93.43 лв
A Worship Reader Ron Man / Book Paperback
common.buy 20.28 € 39.66 лв
Complete Shorter Fiction Herman Melville / Book Hardback
common.buy 25.05 € 48.99 лв
Beyond Bend It Like Beckham Timothy F Grainey / Book Paperback
common.buy 15.82 € 30.93 лв
Behavioral High-Risk Paradigm in Psychopathology Gregory A. Miller / Book Hardback
common.buy 163.18 € 319.16 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?