Leserbewertungen
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 4 Stimmen.
Originaltitel:
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications
Inhalt des Buches:
Dieses unschätzbare Lehrbuch/Referenz bietet einen leicht zu lesenden Leitfaden zu den Grundlagen formaler Methoden und hebt die vielfältigen Anwendungen formaler Methoden in den verschiedensten Bereichen der Informatik hervor.
Themen und Merkmale: Einführung in die Schlüsselkonzepte des Software-Engineerings, der Software-Zuverlässigkeit und -Zuverlässigkeit, der formalen Methoden und der diskreten Mathematik; präsentiert eine kurze Geschichte der Logik, von Aristoteles' syllogistischer Logik und der Logik der Stoiker über Boole's symbolische Logik bis hin zu Frege's Arbeit über Prädikatenlogik; behandelt Aussagen- und Prädikatenlogik sowie fortgeschrittenere Themen wie Fuzzy-Logik, temporale Logik, intuitionistische Logik, undefinierte Werte und die Anwendungen der Logik auf KI; untersucht die Spezifikationssprache Z, die Wiener Entwicklungsmethode (VDM) und die irische Schule der VDM sowie die einheitliche Modellierungssprache (UML); diskutiert Dijkstras Kalkül der schwächsten Vorbedingungen, Hoares axiomatische Semantik von Programmiersprachen und den klassischen Ansatz von Parnas und seinen tabellarischen Ausdrücken; behandelt Automatentheorie, Wahrscheinlichkeit und Statistik, Modellprüfung und die Natur von Beweisen und Theorembeweisen; bespricht eine Auswahl von Werkzeugen, die zur Unterstützung des formalen Methodikers zur Verfügung stehen, und betrachtet den Transfer von formalen Methoden in die Industrie; enthält Wiederholungsfragen und hebt Schlüsselthemen in jedem Kapitel hervor und liefert ein hilfreiches Glossar am Ende des Buches.
Dieser anregende Leitfaden bietet einen umfassenden und leicht zugänglichen Überblick über formale Methoden für Studenten der Informatik und Mathematik, die neugierig darauf sind, wie formale Methoden auf dem Gebiet der Informatik angewendet werden.
Weitere Daten des Buches:
| ISBN: | 9783319640204 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2017 |
| Seitenzahl: | 322 |
Kauf:
Derzeit verfügbar, auf Lager.
