Predicate Calculus and Program Semantics (Monographs in Computer Science)
Dijkstra, Edsger W.
ISBN 10: 3540969578 ISBN 13: 9783540969570
Editorial: Springer Berlin, 1990
Usado
Encuadernación de tapa dura
Librería:
Buchmarie, Darmstadt, Alemania
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 21 de junio de 2021
Este ejemplar en concreto ya no está disponible. Estas algunas de las coincidencias similares para Predicate Calculus and Program Semantics (Monographs in Computer Science) de Dijkstra, Edsger W..
Descripción
Descripción:
Namenseintrag. N° de ref. del artículo 3263240_7f7
Sinopsis:
This text gives a self-contained foundation of predicate transformer semantics by making extensive use of the predicate calculus. The semantics of the repetitive construct is defined in terms of weakest and strongest solutions in terms of the weakest precondition and the weakest liberal precondition, the notion of determinacy is defined it is shown how to cope unbounded nondeterminacy without using transfinite induction.
Reseña del editor: This text gives a self-contained foundation of predicate transformer semantics by making extensive use of the predicate calculus. The semantics of the repetitive construct is defined in terms of weakest and strongest solutions in terms of the weakest precondition and the weakest liberal precondition, the notion of determinacy is defined it is shown how to cope unbounded nondeterminacy without using transfinite induction.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Predicate Calculus and Program Semantics (...
Editorial: Springer Berlin
Año de publicación: 1990
Encuadernación: Encuadernación de tapa dura
Condición: Good
Los mejores resultados en AbeBooks
Imagen de archivo
Predicate Calculus and Program Semantics (Monographs in Computer Science)
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_409206602
Comprar usado
EUR 66,58
EUR 3,19 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0387969578I4N01
Comprar usado
EUR 70,08
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Predicate Calculus and Program Semantics (Monographs in Computer Science)
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: ABLIING23Mar2716030029265
Comprar nuevo
EUR 92,67
EUR 3,40 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. reprint edition. 231 pages. 9.50x6.75x0.50 inches. In Stock. Nº de ref. del artículo: x-1461279240
Comprar nuevo
EUR 136,54
EUR 11,43 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 2 disponibles