Linked Data Explorerhttp://worldcat.org/entity/work/id/795114329
Refinement Calculus : A Systematic Introduction
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/verfeinerung
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/logiciel_developpement_mathematiques
- http://id.worldcat.org/fast/872390
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/programmation_informatique
- http://id.worldcat.org/fast/973149
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/hol
- http://id.loc.gov/authorities/subjects/sh85018802
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/verbandstheorie
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/ordinateurs_programmation
- http://id.loc.gov/authorities/subjects/sh89003285
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/programm
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/mathematische_programmering
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/logiciel_amelioration_logique
- http://id.loc.gov/authorities/subjects/sh85066289
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/calcul_infinitesimal
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/logique_informatique
- http://id.worldcat.org/fast/872451
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/korrektheit
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/programas_de_ordenador_especificacion
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/logiciel_verification_logique
- http://id.loc.gov/authorities/subjects/sh85107310
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/logiciel_verification_mathematiques
- http://id.worldcat.org/fast/872265
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/logiciel_developpement_logique
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/analyse_wiskunde
- http://experiment.worldcat.org/entity/work/data/795114329#Topic/logiciel_amelioration_mathematiques
- http://id.worldcat.org/fast/844119
- http://id.loc.gov/authorities/subjects/sh97004631
http://schema.org/description
- "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."
http://schema.org/genre
- "Electronic books"
http://schema.org/name
- "Refinement Calculus : A Systematic Introduction"
- "Refinement Calculus A Systematic Introduction"
- "Refinement calculus : a systematic introduction"@it
- "Refinement calculus : a systematic introduction"
- "Refinement Calculus a Systematic Introduction"
http://schema.org/workExample
- http://www.worldcat.org/oclc/911299468
- http://www.worldcat.org/oclc/878763615
- http://www.worldcat.org/oclc/421625108
- http://www.worldcat.org/oclc/845099227
- http://www.worldcat.org/oclc/853265982
- http://www.worldcat.org/oclc/863682211
- http://www.worldcat.org/oclc/869870346
- http://www.worldcat.org/oclc/38039667