Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	März 2008
Genre:	EDV / Informatik
	B / Compilers & interpreters / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical Logic and Foundations / Mathematical theory of computation / Programming languages (Electronic computers) / Programming Languages, Compilers, Interpreters / Software Engineering / Theoretische Informatik / Theory of Computation mehr...
ISBN:	9783540674016
EAN-Code:	9783540674016
Verlag:	Springer EN
Einband:	Gebunden
Sprache:	English
Serie:	Texts in Theoretical Computer Science. An EATCS Series
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	840 gr
Seiten:	436
Illustration:	XII, 436 p. 34 illus., schwarz-weiss Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.