Cover Image

Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings /

Show other versions (1)

Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from industry in formal methods based on mathematics. This interest has come from the success of a number of experiments on real i...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), International Conference on the Mathematics of Program Construction
Other Authors: Bird, Richard, 1943-, Morgan, Carroll, 1952-, Woodcock, Jim
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, ©1993.
Series:Lecture notes in computer science ; 669.
Subjects:
Computer programming > Congresses.
Computer science > Mathematics > Congresses.
Computerwiskunde.
Programmatuurtechniek.
Electronic books.
Computer programming.
Computer science > Mathematics.
Congressen (vorm)
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.6 .M367 1993
 
Call Number Status Get It
QA76.6 .M367 1993 Available