Frohe Weihnachten und wunderbare Buchmomente!

Bookbot
Das Buch ist derzeit nicht auf Lager

The Temporal Logic of Reactive and Concurrent Systems

Specification

Autoren

444 Seiten

Mehr zum Buch

Focusing on the complexities of programming interactive computing systems, this volume provides a comprehensive introduction to temporal logic as a specification tool for reactive systems. It presents a foundational understanding of the computational model for reactive programs, developed by renowned scholars Zohar Manna and Amir Pnueli. The text serves as an essential resource for those delving into the challenges of real-time, concurrent, and control systems, making it a valuable reference for both students and professionals in the field.

Parameter

ISBN
9781461269502

Kategorien

Buchvariante

2012, paperback

Buchkauf

Wir benachrichtigen dich per E-Mail.