Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE) - Hardcover

 
9780387170305: Temporal Logic of Programs (E A T C S MONOGRAPHS ON THEORETICAL COMPUTER SCIENCE)
Hardcover
ISBN 10: 0387170308 ISBN 13: 9780387170305

Inhaltsangabe

Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the logical apparatus to the verification of program properties including a new embedding of Hoare's logic into the temporal framework.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Sprache
Englisch
ISBN 10 
0387170308
ISBN 13 
9780387170305
Einband
Gebundene Ausgabe
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783642715518: Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, Band 8)

Vorgestellte Ausgabe

ISBN 10:  3642715516 ISBN 13:  9783642715518
Verlag: Springer, 2011
Softcover