Szanowni Klienci, z przyczyn technicznych w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

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 Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z przyczyn technicznych w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Temporal Logic and State Systems

Name: Temporal Logic and State Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01653648
Price: 334.23 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

187 b

334.23 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Elektromotoren Fur Gleichstrom Gustav Roessler

Miękka

291.66 zł

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Miękka

568.39 zł

Med Tilhörende Glossarium... Carl Rikard Unger

Miękka

91.79 zł

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

Twarda

145.01 zł

La Callejuela del Oro Carlos González Rivera

Twarda

38.98 zł

Au Bonheur des Dames Émile Zola

Miękka

29.77 zł

Grundlagen Der Steuerungstechnik Cihat Karaali

Miękka

163.63 zł

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Miękka

83.40 zł

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

Leporelo

44.30 zł

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

Miękka

50.75 zł

Stowasser - Neubearbeitung Barbara Dowlasz

Twarda

121.98 zł

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

Twarda

304.04 zł

Sakana Michael Mario Frese

Miękka

135.18 zł

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Miękka

119.01 zł

Ferîdûn Bey Nicolas Vatin

Miękka

301.89 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.