Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Temporal Logic and State Systems

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

Fred Kröger

Stephan Merz

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01653648

Nakladatelství 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... Celý popis

Libristo kód: 01653648

177 b

1 770 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

315 Kč

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

Leporelo

232 Kč

Stowasser - Neubearbeitung Barbara Dowlasz

Pevná

649 Kč

Order-Flow Und Preissetzung Im Wandel Der Devisenmarktstruktur Sebastian Wanke

Brožovaná

3 015 Kč

ARA-EGYPTIAN YOGA VOL 2 AFRICA Muata Ashby

Brožovaná

444 Kč

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

Pevná

1 603 Kč

Sakana Michael Mario Frese

Brožovaná

713 Kč

Vom Notendrucker zum Rechtemakler Urs Pfeiffer

Brožovaná

673 Kč

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

Pevná

772 Kč

Med Tilhörende Glossarium... Carl Rikard Unger

Brožovaná

489 Kč

Ferîdûn Bey Nicolas Vatin

Brožovaná

1 696 Kč

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.