Qualitätssicherung in der Softwareentwicklung mit formalen Methoden
Heise,
Seit vielen Jahren steigen die Qualitätsansprüche an Software in breiten, kritischen Anwendungen zum Beispiel bei…
Practical TLA+
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 An Example
-
Altmetric BadgeChapter 2 PlusCal
-
Altmetric BadgeChapter 3 Operators and Functions
-
Altmetric BadgeChapter 4 Constants, Models, and Imports
-
Altmetric BadgeChapter 5 Concurrency
-
Altmetric BadgeChapter 6 Temporal Logic
-
Altmetric BadgeChapter 7 Algorithms
-
Altmetric BadgeChapter 8 Data Structures
-
Altmetric BadgeChapter 9 State Machines
-
Altmetric BadgeChapter 10 Business Logic
-
Altmetric BadgeChapter 11 MapReduce