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: 100.49 EUR
Availability: OutOfStock
Author: Fred Kroeger

Cena

€ 100,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 14. - 28. aug.

Saņemiet paziņojumus par jauniem Fred Kroeger izdevumiem

Mūsu klienti saka:

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

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

Hardcover Book

2008 edition

(2008) € 93,99

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2010. gada 25. novembris
ISBN13	9783642086809
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	436
Izmēri	155 × 235 × 23 mm · 621 g
Valoda	Angļu