The spine of software : designing provably correct software--theory and practice, or, A mathematical introduction to the semantics of computer programs /

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Baber, Robert Laurence
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Chichester [West Sussex] ; New York : Wiley, c1988.
বিষয়গুলি:	Computer software > Development. Computer programming.

অনুরূপ উপাদানগুলি