Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| অন্যান্য লেখক: | , |
| বিন্যাস: | বৈদ্যুতিন গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Springer Nature,
2023.
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Access eBook |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
MARC
| LEADER | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 16499 | ||
| 005 | 20261004181038.0 | ||
| 008 | 261004s2023 o 000 eng | ||
| 020 | |a 978-3-031-31476-6 | ||
| 100 | 1 | |a Lopez-Garcia, Pedro |9 35892 | |
| 700 | 1 | |a Gallagher, John P. |9 35893 | |
| 700 | 1 | |a Giacobazzi, Roberto |9 35894 | |
| 245 | 0 | 0 | |a Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems |
| 260 | |b Springer Nature, |c 2023. | ||
| 300 | |a 1 online resource | ||
| 650 | 4 | |a Computer Science |9 69352 | |
| 538 | |a Mode of access: World Wide Web. | ||
| 856 | 4 | 0 | |u https://library.mist.ac.bd/ebooks/3370/go?src=vufind |z Access eBook |
| 942 | |c EBOOK | ||
| 999 | |c 16499 |d 16499 | ||