System Design from Provably Correct Constructs: The...

Main
Computers - Programming
System Design from Provably Correct...

System Design from Provably Correct Constructs: The Beginnings of True Software Engineering

Name: System Design from Provably Correct Constructs: The Beginnings of True Software Engineering
ISBN: 9780138814830

James Martin

0 / 2.5

0 comments

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

This book describes what may be the most important change in methodology of system development that we have yet seen: the beginning of automated development of systems in which complex specifications and resulting code are mathematically provably free from internal errors and inconsistencies.

類別:

Computers - Programming

年:

1985

出版商:

Prentice-Hall

語言:

english

頁數:

424

ISBN 10:

013881483X