Related Books

System Design from Provably Correct Constructs
Language: en
Pages: 468
Authors: James Martin
Categories: Computers
Type: BOOK - Published: 1985 - Publisher: Prentice Hall

DOWNLOAD EBOOK

SYSTEM DESIGN FROM PROVABLY CORRECT CONSTRUCT
Language: it
Pages: 392
Authors: James Martin
Categories:
Type: BOOK - Published: 1985 - Publisher:

DOWNLOAD EBOOK

Automating Systems Development
Language: en
Pages: 495
Authors: David R. Benyon
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

1 INTRODUCTION These proceedings are the result of a conference on Automating Systems Development held at Leicester Polytechnic, England on 14 to 16 April 1987.
Provably Correct Systems
Language: en
Pages: 332
Authors: Mike Hinchey
Categories: Mathematics
Type: BOOK - Published: 2017-03-01 - Publisher: Springer

DOWNLOAD EBOOK

As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these s
Studies of Software Design
Language: en
Pages: 200
Authors: David Alex Lamb
Categories: Computers
Type: BOOK - Published: 1996-05-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book contains a refereed collection of thoroughly revised full papers based on the contributions accepted for presentation at the International Workshop on