Constructing correct software
John Cookeవర్గాలు:
సంవత్సరం:
2005
ముద్రణం:
2nd ed
ప్రచురణకర్త:
Springer
భాష:
english
పేజీల సంఖ్య:
512
ISBN 10:
1852338202
ISBN 13:
9781852338206
పుస్తక శ్రేణి:
Formal approaches to computing and information technology
ఫైల్:
PDF, 1.36 MB
IPFS:
,
english, 2005