Predicate Calculus and Program Semantics (Monographs in Computer Science)
Dijkstra, Edsger W.
ISBN 10: 3540969578 ISBN 13: 9783540969570
Editore: Springer Berlin, 1990
Usato
Rilegato
Da
Buchmarie, Darmstadt, Germania
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 21 giugno 2021
Questa copia non è più disponibile. Ecco le corrispondenze migliori per Predicate Calculus and Program Semantics (Monographs in Computer Science) di Dijkstra, Edsger W..
Riguardo questo articolo
Descrizione:
Namenseintrag. Codice articolo 3263240_7f7
Riassunto:
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Predicate Calculus and Program Semantics (...
Casa editrice: Springer Berlin
Data di pubblicazione: 1990
Legatura: Rilegato
Condizione: Good
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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! Codice articolo S_409206602
Compra usato
EUR 66,62
EUR 3,19 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. Codice articolo G0387969578I4N01
Compra usato
EUR 70,12
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar2716030029265
Compra nuovo
EUR 92,73
EUR 3,40 shipping
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Predicate Calculus and Program Semantics (Monographs in Computer Science)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. reprint edition. 231 pages. 9.50x6.75x0.50 inches. In Stock. Codice articolo x-1461279240
Compra nuovo
EUR 136,11
EUR 11,39 shipping
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili