Artículos relacionados a Programming Logics: An Introduction to Verification...
Sinopsis
This volume is an up-to-date, introductory level text on programming logic. It covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. The hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). The book describes the use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). There are many exercises.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This volume is an up-to-date, introductory level text on programming logic. It covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. The hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). The book describes the use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). There are many exercises.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Programming Logics: An Introduction to Verification...
Imagen de archivo
Programming Logics: An Introduction to Verification and Semantics
Publicado por
John Wiley & Sons Inc, 1989
ISBN 10: 0471605395
ISBN 13: 9780471605393
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-597-389
Cantidad disponible: 1 disponibles
Imagen de archivo
PROGRAMMING LOGICS: An Introduction to Verification and Semantics.
Publicado por
John Wiley & Sons,, 1989
ISBN 10: 0471605395
ISBN 13: 9780471605393
Antiguo o usado
Softcover
Librería: Nelson & Nelson, Booksellers, Trenton, SC, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Softcover. Nº de ref. del artículo: 30338
Cantidad disponible: 1 disponibles
Imagen de archivo
Programming Logics: An Introduction to Verification and Semantics
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_341863915
Cantidad disponible: 1 disponibles