Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Bücher von Fred Kroeger

Filter
Filter
Ordnen nachSortieren Beliebt
  • von Fred Kröger & Stefan Merz
    72,00 €

    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;

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.