Artículos relacionados a Logics of Programs: Workshop, Yorktown Heights, NY,...
Logics of Programs: Workshop, Yorktown Heights, NY, USA: 131 (Lecture Notes in Computer Science, 131) - Tapa blanda
Sinopsis
With contributions by nummerous experts
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
With contributions by nummerous experts
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Logics of Programs: Workshop, Yorktown Heights, NY,...
Imagen del vendedor
Logics of Programs: Workshop, Yorktown Heights, Ny, USA (Paperback or Softback)
Publicado por
Springer 3/1/1982, 1982
ISBN 10: 354011212X
ISBN 13: 9783540112129
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Logics of Programs: Workshop, Yorktown Heights, Ny, USA. Book. Nº de ref. del artículo: BBS-9783540112129
Comprar nuevo
EUR 42,36
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: 5 disponibles
Imagen de archivo
Logics of Programs: Workshop, Yorktown Heights, NY, USA, May 1981 (Lecture Notes in Computer Science)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. 429 pp., Paperback, ex library, spine and joints worn, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Nº de ref. del artículo: ZB695768
Comprar usado
EUR 41,04
Envío por EUR 3,95
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
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In English. Nº de ref. del artículo: ria9783540112129_new
Comprar nuevo
EUR 46,74
Envío por EUR 13,13
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logics of Programs
Librería: Books Puddle, Woodside, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 440. Nº de ref. del artículo: 263100580
Comprar nuevo
EUR 63,30
Envío por EUR 3,51
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logics of Programs
Impresión bajo demandaLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Print on Demand pp. 440 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5828731
Comprar nuevo
EUR 59,60
Envío por EUR 7,56
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logics of Programs
Impresión bajo demandaLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 440. Nº de ref. del artículo: 183100590
Comprar nuevo
EUR 59,85
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Logics of Programs
Publicado por
Springer Berlin Heidelberg, 1982
ISBN 10: 354011212X
ISBN 13: 9783540112129
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. With contributions by nummerous expertsProof rules dealing with fairness.- Hoare s Logic is incomplete when it does not have to be.- The refinement of specifications and the stability of Hoare s Logic.- Toward a logical theory of program data.- Design a. Nº de ref. del artículo: 18965492
Comprar nuevo
EUR 45,94
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science, 131)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA800354011212X6
Comprar usado
EUR 88,61
Envío por EUR 29,07
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles