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.

হোল্ডিংসের বিবরণ CARM 1 Store
ডাক সংখ্যা:	A2:AK01B0 B05273
প্রতিলিপি 1	লভ্য এই স্থানে হোল্ড করুন

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