Michael Huth Ordre des livres

Focusing on the foundations of logic, this book introduces various logical frameworks essential for modeling, specifying, and verifying computer systems. It offers a comprehensive understanding of logical principles that underpin computer science, making it a valuable resource for those interested in the intersection of logic and technology. Through clear explanations and examples, readers will gain the tools needed to apply logical reasoning in the context of system design and verification.

Wie beim Klöße essen, einer nach dem anderen. Ganz so einfach ist Prozessmanagement leider nicht. Aber richtig veranschaulicht, ist es oft auch nicht so schwer zu verstehen, wie es im ersten Moment scheint. Michael Huth führt Sie zügig in dieses Thema ein. Er erklärt, was Prozesse überhaupt sind, welche Bedeutung sie in Unternehmen haben und was die relevanten Begriffe sind. Danach wird das Phasenkonzept erläutert, die Prozessdokumentation, die Prozessbewertung, die Prozessoptimierung und einiges mehr. Zahlreiche Übungsaufgaben mit Lösungen helfen Ihnen, Ihr Wissen zu testen und zu festigen.