Fred Kroeger
Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series Fred Kroeger Softcover reprint of hardcover 1st ed. 2008 edition

Name: Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series
Price: 73.49 EUR
Availability: OutOfStock
Author: Fred Kroeger

Cena

€ 73,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 16. - 24. nov

Božična darila lahko vrnete do 31. januarja

Prejemajte obvestila o novih izdajah izvajalca Fred Kroeger

Kaj pravijo naše stranke:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov

Najvišja ocena na Trustpilot

Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

Hardcover Book

2008 edition

(2008) € 73,49

Temporal Logic and State Systems - Texts in Theoretical Computer Science. An EATCS Series

Fred Kroeger

Softcover reprint of hardcover 1st ed. 2008 edition

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;

448 pages, black & white illustrations

Medij	Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano	25. novembra 2010
ISBN13	9783642086809
Založniki	Springer-Verlag Berlin and Heidelberg Gm
Strani	436
Dimenzije	155 × 235 × 23 mm · 621 g
Jezik	Angleščina