Artículos relacionados a The Foundations of Program Verification (Series in...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 44,99
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para The Foundations of Program Verification (Series in...
Imagen del vendedor
The Foundations of Program Verification
Publicado por
Vieweg+Teubner, Vieweg+Teubner Verlag Okt 2013, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 230 pp. Deutsch. Nº de ref. del artículo: 9783322967541
Cantidad disponible: 2 disponibles
Imagen del vendedor
The Foundations of Program Verification
Publicado por
Vieweg+Teubner Verlag, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783322967541
Cantidad disponible: 1 disponibles
Imagen de archivo
The Foundations of Program Verification (Series in Computer Science) (German Edition)
Publicado por
Vieweg+Teubner Verlag, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783322967541_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Foundations of Program Verification (Series in Computer Science) (German Edition)
Publicado por
Vieweg+Teubner Verlag, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783322967541
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Foundations of Program Verification
Publicado por
Vieweg+Teubner Verlag, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Classical Methods of Floyd.- 8 The Axiomatic Method of Hoare.- 9 . Nº de ref. del artículo: 4501545
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Foundations of Program Verification (Series in Computer Science)
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9783322967541
Cantidad disponible: 10 disponibles
Imagen de archivo
The Foundations of Program Verification
Publicado por
Walter de Gruyter, Incorporated, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 244. Nº de ref. del artículo: 2697287463
Cantidad disponible: 4 disponibles
Imagen de archivo
The Foundations of Program Verification
Publicado por
Vieweg + Teubner Verlag, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Paperback
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 2nd edition. 239 pages. German language. 8.90x5.98x0.63 inches. In Stock. Nº de ref. del artículo: x-3322967549
Cantidad disponible: 2 disponibles
Imagen de archivo
The Foundations of Program Verification
Publicado por
Walter de Gruyter, Incorporated, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 244. Nº de ref. del artículo: 96191224
Cantidad disponible: 4 disponibles
Imagen de archivo
The Foundations of Program Verification (ger)
Publicado por
Vieweg+Teubner Verlag, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Tapa blanda
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 294abc42f22e3051dcf8fbbd017818d5
Cantidad disponible: Más de 20 disponibles