LIBROS DEL AUTOR: fred kroger

3 resultados para LIBROS DEL AUTOR: fred kroger

fred kroger Eliminar filtro Quitar filtros
  • Temporal Logic of Programs
    Fred Kröger
    Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of p...
    Disponible

    66,91 €

  • Temporal Logic and State Systems
    Fred Kröger / Stephan Merz
    Basic Concepts and Notions of Logics.- Basic Propositional Linear Temporal Logic.- Extensions of LTL.- Expressiveness of Propositional Linear Temporal Logics.- First-Order Linear Temporal Logic.- State Systems.- Verification of State Systems.- Verification of Concurrent Programs.- Structured Specification.- Other Temporal Logics.- System Verification by Model Checking. ...
    Disponible

    108,54 €

  • Einführung in die Informatik
    Fred Kröger
    Das Buch ist eine moderne algorithmenorientierte Einf}hrung in die Informatik: Im Vordergrund stehen Konzepte, Methoden und Techniken der Algorithmenentwicklung. Algorithmische Konzepte und ihre Verwendung werden formal und zun{chst ohne Bezugnahme auf eine konkrete Programmiersprache dargestellt. Ihre grundlegende Bedeutung wird dad...
    Disponible

    84,49 €