Lets Explore,
Cover of 3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (Organised by BCS-Facs, and Sponsored by IBM UK Laboratories, Hurslay Park

3rd Refinement Workshop: Proceedings of the 3rd Refinement Workshop (Organised by BCS-Facs, and Sponsored by IBM UK Laboratories, Hurslay Park

(Paperback)

Carroll Morgan, Carroll Morgan,

Springer (Publisher)

Published
1991
Reviews
0
Computing and Information TechnologyComputer science

Ships within days

Out Of Stock

₹0.00
₹0.00
0% off
These papers focus attention on refinement and expedite work in this area. Topics covered include refinement algebra, the RAISE project, usability of logics which handle partial functions and formal programme development in ML.

More books by Carroll Morgan

Cover of Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Charles Carroll Morgan

₹2500.0₹1795
Cover of Theoretical Aspects of Computing - ICTAC 2009

Theoretical Aspects of Computing - ICTAC 2009

Martin Leucker

₹5599.0₹3476
Cover of Programming Methodology

Programming Methodology

Annabelle McLver

₹2851.0₹2766
Cover of Reasoning Together

Reasoning Together

Tol Foster

₹2629.0₹1959
Cover of The Science of Quantitative Information Flow

The Science of Quantitative Information Flow

Geoffrey Smith

₹3892.0₹3776
Cover of Abstraction, Refinement and Proof for Probabilistic Systems

Abstraction, Refinement and Proof for Probabilistic Systems

Charles Carroll Morgan

₹16799.0₹10266
Cover of Programming Methodology

Programming Methodology

Annabelle McLver

₹12319.0₹7529
Cover of On the Refinement Calculus

On the Refinement Calculus

Trevor Vickers

₹5599.0₹3476
Cover of Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Adenilso Simao

₹5599.0₹3422
Cover of Formal Methods, Informally

Formal Methods, Informally

Carroll Morgan

₹12014.0₹11774
Cover of Formal Methods, Informally

Formal Methods, Informally

Carroll Morgan

₹5260.0₹4898
Cover of Representing Violence Against Women

Representing Violence Against Women

Jennifer Morgan

₹10520.0₹8351
Cover of When God Speaks, Obey!

When God Speaks, Obey!

Carroll Morgan

₹1051.0₹937
Cover of The Poetry Issue

The Poetry Issue

Amy Sara Carroll

₹1447.0₹1064
Cover of Take Back your Government

Take Back your Government

Morgan Carroll

₹1936.0₹1594
Cover of A Lawyer's Brief On The Atonement

A Lawyer's Brief On The Atonement

Charles Carroll Morgan

₹1829.0₹1757
Cover of The Fork-in-the-Road Indian Poetry Store

The Fork-in-the-Road Indian Poetry Store

Phillip Carroll Morgan

₹1636.0₹1347
Cover of The Pamphlets of Lewis Carroll

The Pamphlets of Lewis Carroll

Christopher Morgan

₹8416.0₹5527
Cover of J. H. Colton's American School Geography

J. H. Colton's American School Geography

Joseph Hutchins Colton

₹3307.0₹3241
Cover of Mathematics of Program Construction

Mathematics of Program Construction

Richard S. Bird

₹5767.0₹5652
Cover of Formal Methods, Informally

Formal Methods, Informally

Carroll Morgan

₹38372.17₹37222
Cover of Formal Methods, Informally

Formal Methods, Informally

Carroll Morgan

₹0.0
Cover of Representing Violence Against Women

Representing Violence Against Women

Jennifer Morgan

₹8580.17₹8323
Cover of Representing Violence Against Women

Representing Violence Against Women

Jennifer Morgan

₹8580.17₹8323
Cover of Programming from Specifications

Programming from Specifications

Carroll Morgan

₹247.0₹240
Cover of Programming from Specifications

Programming from Specifications

Carroll Morgan

₹3904.66₹3788
Cover of Programming Methodology

Programming Methodology

Carroll Morgan

₹6454.2₹6261
Cover of 3rd Refinement Workshop

3rd Refinement Workshop

Carroll Morgan

₹0.0
Cover of The Memoirs of a Small Town Christian Police Officer

The Memoirs of a Small Town Christian Police Officer

Carroll Morgan

₹712.0₹691
Cover of Programming from Specifications

Programming from Specifications

Carroll Morgan

₹247.0₹240

Similar Products

Cover of 3rd Refinement Workshop

3rd Refinement Workshop

Carroll Morgan

₹0.0
Cover of On the Refinement Calculus

On the Refinement Calculus

Trevor Vickers

₹2201.45₹2136
Cover of On the Refinement Calculus

On the Refinement Calculus

Trevor Vickers

₹3648.0₹2053
Cover of On the Refinement Calculus

On the Refinement Calculus

Trevor Vickers

₹5599.0₹3476
Cover of 4th Refinement Workshop

4th Refinement Workshop

Roger C. Shaw

₹5825.0₹5709
Cover of 5th Refinement Workshop

5th Refinement Workshop

Roger C. Shaw

₹10060.0₹5620
Cover of 6th Refinement Workshop

6th Refinement Workshop

David Till

₹2201.45₹2136
Cover of 4th Refinement Workshop

4th Refinement Workshop

Joseph M Morris

₹0.0
Vidya AI