Artículos relacionados a Refinement Calculus: A Systematic Introduction (Texts...
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.
Comprar nuevo
Ver este artículo
EUR 89,99
EUR 19,49 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Refinement Calculus: A Systematic Introduction (Texts...
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
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
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
Cantidad disponible: 2 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
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Refinement Calculus : A Systematic Introduction
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 672546-n
Cantidad disponible: 15 disponibles
Imagen de archivo
Refinement Calculus: A Systematic Introduction (Texts in Computer Science)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9780387984179
Cantidad disponible: 1 disponibles
Imagen del vendedor
Refinement Calculus : A Systematic Introduction
Publicado por
Springer New York, Springer US, 1998
ISBN 10: 0387984178
ISBN 13: 9780387984179
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9780387984179
Cantidad disponible: 1 disponibles
Imagen del vendedor
Refinement Calculus : A Systematic Introduction
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 672546
Cantidad disponible: 15 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
Cantidad disponible: 2 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 779. Nº de ref. del artículo: C9780387984179
Cantidad disponible: Más de 20 disponibles