Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)

Name: Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)
Price: 16.25 EUR
Availability: InStock
Author: Greibach, Sheila A.
ISBN: 9783540074151

Greibach, Sheila A.

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

16,25 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9783540074151

Verlag:

Springer

Seitenzahl:

388

Auflage:

Erschienen:

2008-06-13

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Gut 16,25 €

Sauberer Zustand, Seiten und Bindung etwas abgenutzt
Knicke oder Markierungen nicht mehr als 5%
CDs und Zugangscodes verwendbar

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

16,25 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36, Band 36)

Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

"Theory of Program Structures: Schemes, Semantics, Verification" von Sheila A. Greibach ist ein wissenschaftliches Werk, das sich mit den theoretischen Grundlagen der Informatik befasst. In diesem Buch untersucht die Autorin die strukturellen Aspekte von Programmen und deren formale Beschreibung. Der Fokus liegt auf der Entwicklung und Analyse von Programmschemata sowie deren semantischer Interpretation. Greibach behandelt verschiedene Methoden zur Verifikation von Programmen und geht dabei auf die mathematischen Modelle ein, die zur Beschreibung der Programmsemantik verwendet werden. Das Buch bietet einen tiefen Einblick in die grundlegenden Prinzipien der Programmverifikation und richtet sich an Leser mit einem Interesse an theoretischer Informatik, insbesondere an Studierende und Forscher auf diesem Gebiet. Durch die systematische Darstellung von Konzepten wie Schleifeninvarianten, Rekursion und formalen Spezifikationen wird ein umfassendes Verständnis für die Mechanismen zur Sicherstellung der Korrektheit von Programmen vermittelt. Die Arbeit ist Teil der "Lecture Notes in Computer Science" Serie und trägt zur Vertiefung des Wissens über die theoretische Fundierung moderner Programmierpraktiken bei.