Titel: The Foundations of Program Verification (Series in Computer Science) (German Edition)
Verlag: Vieweg+Teubner Verlag
Erscheinungsjahr: 2013
Sprache: Deutsch
ISBN-10: 3322967549
ISBN-13: 9783322967541
Einband: Softcover
Auflage: 2. Auflage
Zustand: New

�ber diesen Titel

Inhaltsangabe

This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott’s fixpoint induction. The aim of the book is to present these different verification methods and to explain their mathemati� cal background. The subject is treated with mathematical precision, and many examples are included. Throughout the book the same examples will reappear to illustrate how the different methods are related. The material is self-contained and accessible without prior knowledge of logic or semantics, but elementary knowledge of programming languages, formal languages and the theory of computation is helpful. A main concern has been to present the subject in as simple a setting as possible. For this reason three elementary, representative programming languages are in� troduced: a flowchart programming language, a language of while-programs and a language of recursive programs. For these programming languages the operational and denotational semantics are introduced. Each verification method is then illustrated in the most appropriate of these languages and proved correct with the help of the most appropriate of the semantics.

Rese�a del editor

This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixpoint induction. The aim of the book is to present these different verification methods and to explain their mathemati� cal background. The subject is treated with mathematical precision, and many examples are included. Throughout the book the same examples will reappear to illustrate how the different methods are related. The material is self-contained and accessible without prior knowledge of logic or semantics, but elementary knowledge of programming languages, formal languages and the theory of computation is helpful. A main concern has been to present the subject in as simple a setting as possible. For this reason three elementary, representative programming languages are in� troduced: a flowchart programming language, a language of while-programs and a language of recursive programs. For these programming languages the operational and denotational semantics are introduced. Each verification method is then illustrated in the most appropriate of these languages and proved correct with the help of the most appropriate of the semantics.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Miramar International Services LLC

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

www.californiabooks.com

Widerrufsbelehrung

Versandbedingungen

www.californiabooks.com

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	3 bis 7�Werktage	2 bis 5�Werktage
Erster Artikel	EUR 0.00	EUR 10.30

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.