నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి

Constructing correct software

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:
CID , CID Blake2b
english, 2005
ఆన్‌లైన్‌లో చదవండి
కి మార్పిడి జరుగుతూ ఉంది.
కి మార్పిడి విఫలమైంది!

కీలక పదబంధాలు