Preisvergleich / Wohnen / Büro / Program Refinement, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Thumbnail - Program Refinement, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken

Program Refinement, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken

Das Buch "Program Refinement" von Betascript Publishing bietet eine umfassende Einführung in die formalen Methoden der Progra... Mehr erfahren

Sammle bis zu 14 Punkte mit diesem Produkt
Produktvarianten
Program Refinement, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken

Finde die besten Angebote

Bester Preis14 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

29,00 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ähnliche Produkte

Produktdetails

Das Buch "Program Refinement" von Betascript Publishing bietet eine umfassende Einführung in die formalen Methoden der Programmverfeinerung. Es behandelt die verifizierbare Transformation von abstrakten formalen Spezifikationen in konkrete, ausführbare Programme. Der Prozess der schrittweisen Verfeinerung wird detailliert erläutert, wobei die logischen Grundlagen und die Herausforderungen, die dabei auftreten können, thematisiert werden. Das Buch geht auch auf die Konzepte der Datenverfeinerung und der Operationsverfeinerung ein, die entscheidend sind, um abstrakte Datenmodelle in umsetzbare Datenstrukturen und Spezifikationen in implementierbare Programme zu überführen. Die Stärkung von Postbedingungen und die Schwächung von Vorbedingungen werden als Techniken zur Reduzierung von Nichtdeterminismus in der Spezifikation behandelt, was zu einer deterministischen Implementierung führt. Dieses Fachbuch richtet sich an Studierende und Fachleute, die ein vertieftes Verständnis der Programmverfeinerung und ihrer Anwendungen in der Softwareentwicklung erlangen möchten.

Informationen

Lieferzeit:2-4 Werktage
Marke:Betascript Publishing