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 39,87
EUR 5,50 gastos de envío desde Italia a Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para The Foundations of Program Verification (Series in...
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
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: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020115941
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Foundations of Program Verification (Paperback)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Paperback
Librería: Grand Eagle Retail, Mason, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. 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. 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 mathematiA 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 inA 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 semantic Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 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: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783322967541
Cantidad disponible: 1 disponibles
Imagen del vendedor
The Foundations of Program Verification -Language: german
Publicado por
Vieweg+Teubner Verlag, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 21681884-n
Cantidad disponible: 15 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 -Language: german
Publicado por
Vieweg+Teubner Verlag, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 21681884
Cantidad disponible: 15 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
Gastos de envío:
EUR 13,74
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
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
Gastos de envío:
EUR 17,77
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
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