Programs, Recursion and Unbounded Choice (Cambridge Tracts in Theoretical Computer Science, Series Number 27) - Tapa dura
Libro 10 de 40: Cambridge Tracts in Theoretical Computer Science
Sinopsis
This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
"Sobre este título" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Programs, Recursion and Unbounded Choice (Cambridge...
Imagen de archivo
Programs, Recursion and Unbounded Choice
Publicado por
Cambridge University Press, 1992
ISBN 10: 0521404363
ISBN 13: 9780521404365
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. Edition 1992. 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. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: E-595-655
Comprar usado
EUR 5,84
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de America
Se envía de Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Programs, Recursion and Unbounded Choice: Predicate-Transformation Semantics and Transformation Rules
Publicado por
Cambridge University Press, 1992
ISBN 10: 0521404363
ISBN 13: 9780521404365
Antiguo o usado
Tapa dura
Librería: Attic Books (ABAC, ILAB), London, ON, Canada
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very good +. Cambridge Tracts in Theoretical Computer Science 27.ix, 223 cm. 26 cm. Signature and ink stamp on first leaf. Nº de ref. del artículo: 134110
Comprar usado
EUR 21,94
Envío por EUR 12,78
Se envía de Canada a Estados Unidos de America
Se envía de Canada a Estados Unidos de America
Cantidad disponible: 1 disponibles