System Design from Provably Correct Constructs: The...

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

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.
درجه (قاطیغوری(:
کال:
1985
خپرندویه اداره:
Prentice-Hall
ژبه:
english
صفحه:
424
ISBN 10:
013881483X
ISBN 13:
9780138814830
فایل:
PDF, 17.62 MB
IPFS:
CID , CID Blake2b
english, 1985
په آن لاین ډول لوستل
ته بدلون په کار دي
ته بدلون ناکام شو

مهمي جملي