Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Temporal Logic and State Systems

Name: Temporal Logic and State Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01653648
Price: 29671 HUF
Availability: InStock
Author: Fred Kröger
ISBN: 9783642086809

Fred Kröger

Stephan Merz

Language

English

Book Paperback

Libristo code: 01653648

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2010

Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica... Full description

Libristo code: 01653648

203 b

29 671 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Le Khedive Et Le Sultan, Etude Sur La Question Turco-Egyptienne Guillaumot-H

Paperback

5 196 Ft

Wieso? Weshalb? Warum? junior, Band 28: Wenn es dunkel wird Constanza Droop

Board book

3 986 Ft

Stowasser - Neubearbeitung Barbara Dowlasz

Hardback

10 769 Ft

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Paperback

50 335 Ft

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Paperback

7 387 Ft

Tabellenhandbuch zur Ermittlung des Verkehrswerts und des Beleihungswerts von Grundstücken Wolfgang Kleiber

Hardback

27 177 Ft

Sakana Michael Mario Frese

Paperback

12 100 Ft

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Paperback

9 821 Ft

Der Formalismus in Kant's Rechtsphilosophie (1902) Hermann Bargmann

Hardback

12 771 Ft

Med Tilhörende Glossarium... Carl Rikard Unger

Paperback

8 086 Ft

Ferîdûn Bey Nicolas Vatin

Paperback

24 751 Ft

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. §All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.