Artículos relacionados a A Practical Theory of Programming (Texts and Monographs...

A Practical Theory of Programming (Texts and Monographs in Computer Science) - Tapa dura

 
9783540941064: A Practical Theory of Programming (Texts and Monographs in Computer Science)

Sinopsis

Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a Boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications. Beginning with preparatory material in logic, numbers, sets, lists, functions and relations, the book advances further into program theory, the heart of the book. Subsequent chapters may be selected or omitted according to course emphasis. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. All technical terms are explained and then demonstrated in the book wherever possible. No advanced mathematical knowledge or programming language is assumed. The book contains numerous exercises and worked-out solutions for specific exercises.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a Boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications. Beginning with preparatory material in logic, numbers, sets, lists, functions and relations, the book advances further into program theory, the heart of the book. Subsequent chapters may be selected or omitted according to course emphasis. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. All technical terms are explained and then demonstrated in the book wherever possible. No advanced mathematical knowledge or programming language is assumed. The book contains numerous exercises and worked-out solutions for specific exercises.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Excelente
Ancien livre de bibliothèque. Légères...
Ver este artículo

EUR 6,00 gastos de envío desde Francia a España

Destinos, gastos y plazos de envío

Otras ediciones populares con el mismo título

Resultados de la búsqueda para A Practical Theory of Programming (Texts and Monographs...

Imagen de archivo

Eric C.R. Hehner
ISBN 10: 3540941061 ISBN 13: 9783540941064
Antiguo o usado Tapa dura

Librería: Ammareal, Morangis, Francia

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Hardcover. Condición: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: D-484-840

Contactar al vendedor

Comprar usado

EUR 92,03
Convertir moneda
Gastos de envío: EUR 6,00
De Francia a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Hehner, Eric C. R
Publicado por Springer-Verlag 0, 1993
ISBN 10: 3540941061 ISBN 13: 9783540941064
Antiguo o usado Tapa dura

Librería: Mispah books, Redhill, SURRE, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

hardcover. Condición: Very Good. Very Good. book. Nº de ref. del artículo: ERICA82935409410614

Contactar al vendedor

Comprar usado

EUR 147,32
Convertir moneda
Gastos de envío: EUR 28,84
De Reino Unido a España
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito