Refinement Calculus: A Systematic Introduction (Texts in Computer Science) - Tapa blanda
Libro 26 de 82: Texts in Computer Science
Sinopsis
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Refinement Calculus: A Systematic Introduction (Texts...
Imagen de archivo
Refinement Calculus: A Systematic Introduction (Texts 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: ABLIING23Feb2215580175319
Comprar nuevo
EUR 102,48
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
Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780387984179_new
Comprar nuevo
EUR 111,38
EUR 13,74 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: Más de 20 disponibles
Imagen del vendedor
Refinement Calculus
Publicado por
Springer New York Apr 1998, 1998
ISBN 10: 0387984178
ISBN 13: 9780387984179
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Much current research in computer science is concerned with two questions: is a program correct And how can we improve a correct program preserving correctness This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge. 540 pp. Englisch. Nº de ref. del artículo: 9780387984179
Comprar nuevo
EUR 106,99
EUR 23,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Refinement Calculus : A Systematic Introduction
Publicado por
Springer New York, 1998
ISBN 10: 0387984178
ISBN 13: 9780387984179
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 105985/3
Comprar usado
EUR 33,63
EUR 105,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Refinement Calculus
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to . Nº de ref. del artículo: 5913294
Comprar nuevo
EUR 89,99
EUR 48,99 shipping
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
Refinement Calculus: A Systematic Introduction
Publicado por
Springer-Verlag New York Inc., 1998
ISBN 10: 0387984178
ISBN 13: 9780387984179
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Nº de ref. del artículo: C9780387984179
Comprar nuevo
EUR 136,61
EUR 21,26 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: Más de 20 disponibles
Imagen de archivo
Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA77303879841786
Comprar usado
EUR 131,10
EUR 28,67 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: 1 disponibles
Imagen del vendedor
Refinement Calculus | A Systematic Introduction
Impresión bajo demandaLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Refinement Calculus | A Systematic Introduction | Ralph-Johan Back (u. a.) | Taschenbuch | xvi | Englisch | 1998 | Springer | EAN 9780387984179 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. Nº de ref. del artículo: 106873083
Comprar nuevo
EUR 93,45
EUR 70,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Refinement Calculus
Publicado por
Springer New York, Springer US Apr 1998, 1998
ISBN 10: 0387984178
ISBN 13: 9780387984179
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -Much current research in computer science is concerned with two questions: is a program correct And how can we improve a correct program preserving correctness This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for the first time. There are numerous exercises provided of varying degrees of challenge.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch. Nº de ref. del artículo: 9780387984179
Comprar nuevo
EUR 106,99
EUR 60,00 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Edición internacional
REFINEMENT CALCULUS (PB 1998)
Edición internacionalLibrería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Nº de ref. del artículo: CBS 9780387984179
Comprar nuevo
EUR 159,02
EUR 14,88 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: 1 disponibles