9780521018296 - programs recursion unbounded choice: 27 (cambridge tracts in theoretical computer science, series number 27) de hesselink, wim h. (13 resultados)
Idioma: Inglés
Editorial: Cambridge University Press, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 65,18
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,07
Envío por EUR 13,98Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Cambridge University Press 2008-08-21, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,43
Envío por EUR 18,08Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Paperback. Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,49
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. A complete account of the predicate transformation calculus semantics of sequential programs. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 240 pages, black & white illustratio…ns. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 390. . 2008. paperback. . . . .
Idioma: Inglés
Editorial: Cambridge University Press CUP, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 86,62
Envío por EUR 3,51Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 240.
Idioma: Inglés
Editorial: Cambridge University Press, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 85,78
Envío por EUR 9,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. A complete account of the predicate transformation calculus semantics of sequential programs. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 240 pages, black & white illustratio…ns. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 13. Weight in Grams: 390. . 2008. paperback. . . . . Books ship from the US and Ireland.
Idioma: Inglés
Editorial: Cambridge University Press, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 83,02
Envío por EUR 62,11Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Idioma: Inglés
Editorial: Cambridge Univ Pr, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 59,43
Envío por EUR 11,67Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 237 pages. 9.50x6.50x0.70 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Editorial: Cambridge University Press, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 65,52
Envío por EUR 17,45Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Idioma: Inglés
Editorial: Cambridge University Press, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 86,38
Envío por EUR 7,59Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 240 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
Idioma: Inglés
Editorial: Cambridge University Press, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 86,03
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 240.
Idioma: Inglés
Editorial: Cambridge University Press, Cambridge, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,71
Envío por EUR 43,18Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. 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 developme…nt 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. A complete account of the predicate transformation calculus semantics of sequential programs. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Idioma: Inglés
Editorial: Cambridge University Press, 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 10 de 40. Libro 10 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,08
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A complete account of the predicate transformation calculus semantics of sequential programs.InhaltsverzeichnisList of symbols Introduction 1. Weakest preconditions 2. Annotation, recursion and repetition 3. Healthine…ss laws 4. .
