Fred Kroger – författare

Visar alla böcker från författaren Fred Kroger. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Temporal Logic and State Systems

   Av Stephan Merz, Fred Kroger

   E-bok, 2008

   1108 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 …

2. 

   Temporal Logic of Programs

   Av Fred Kroger

   E-bok, 2012

   739 kr

   Lägg i varukorg

3. 

   Einführung in die Informatik

   Algorithmenentwicklung

   Av Fred Kroger

   E-bok, 2013

   571 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 …