Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Temporal Logic and State Systems

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

Fred Kröger

Stephan Merz

Język

Angielski

Książka Miękka

Kod Libristo: 01653648

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, listopad 2010

Temporal logic has developed over the last 30 years into a powerful formal setting for the specifica... Cały opis

Kod Libristo: 01653648

172 b

303.01 zł

Dostępna u dostawcy Wysyłamy za 10-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

Miękka

58.22 zł

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

Leporelo

43.61 zł

Stowasser - Neubearbeitung Barbara Dowlasz

Twarda

120.07 zł

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Miękka

625.78 zł

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Miękka

82.09 zł

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

Twarda

299.48 zł

Sakana Michael Mario Frese

Miękka

208.32 zł

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Miękka

118.36 zł

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

Twarda

142.74 zł

Med Tilhörende Glossarium... Carl Rikard Unger

Miękka

90.35 zł

Ferîdûn Bey Nicolas Vatin

Miękka

298.18 zł

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.