Fred Kröger – författare
Visar alla böcker från författaren Fred Kröger. Handla med fri frakt och snabb leverans.
4 produkter
Einführung in die Informatik
Algorithmenentwicklung
Av Fred Kröger
Häftad, 1991
515 kr
Lägg i varukorg
Das Buch ist eine moderne algorithmenorientierte Einf}hrungin die Informatik: Im Vordergrund stehen Konzepte, Methodenund Techniken der Algorithmenentwicklung. AlgorithmischeKonzepte und ihre Verwendung werden formal und zun{chst ohneBezugnahme auf eine konkrete Programmiersprache dargestellt.Ihre …
Temporal Logic and State Systems
Inbunden, 2008
850 kr
Lägg i varukorg
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 …
Temporal Logic and State Systems
Häftad, 2010
850 kr
Lägg i varukorg
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 …
Temporal Logic of Programs
Av Fred Kröger
Häftad, 2011
569 kr
Lägg i varukorg
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 …
