Mathematics of Program Construction

সংরক্ষণ করুন:
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Audebaud, Philippe, Paulin-Mohring, Christine
বিন্যাস: গ্রন্থ
ভাষা:English
প্রকাশিত: Springer Berlin Heidelberg 2020
বিষয়গুলি:
অনলাইন ব্যবহার করুন:https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81736
ট্যাগগুলো: ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
id oai:scholar.dlu.edu.vn:DLU123456789-81736
record_format dspace
spelling oai:scholar.dlu.edu.vn:DLU123456789-817362023-10-06T01:56:14Z Mathematics of Program Construction Audebaud, Philippe Paulin-Mohring, Christine Computer Science Programming Techniques Software Engineering/Programming and Operating Systems 2020-02-20T01:48:21Z 2020-02-20T01:48:21Z 2008 Book 978-3-540-70593-2 978-3-540-70594-9 https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81736 en Lecture Notes in Computer Science Springer-Verlag Berlin Heidelberg application/pdf Springer Berlin Heidelberg
institution Thư viện Trường Đại học Đà Lạt
collection Thư viện số
language English
topic Computer Science
Programming Techniques
Software Engineering/Programming and Operating Systems
spellingShingle Computer Science
Programming Techniques
Software Engineering/Programming and Operating Systems
Audebaud, Philippe
Paulin-Mohring, Christine
Mathematics of Program Construction
format Book
author Audebaud, Philippe
Paulin-Mohring, Christine
author_facet Audebaud, Philippe
Paulin-Mohring, Christine
author_sort Audebaud, Philippe
title Mathematics of Program Construction
title_short Mathematics of Program Construction
title_full Mathematics of Program Construction
title_fullStr Mathematics of Program Construction
title_full_unstemmed Mathematics of Program Construction
title_sort mathematics of program construction
publisher Springer Berlin Heidelberg
publishDate 2020
url https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/81736
_version_ 1819813719931092992