CENTRAL LIBRARY
MILITARY INSTITUTE OF SCIENCE & TECHNOLOGY
0%
MIST Logo
Central Library
Military Institute of Science & Technology
Est. 1999  ·  Mirpur Cantonment, Dhaka
Open · Research · Knowledge
--:--
---
CHECKING
Back to eBook Library
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Computer Science Springer Nature

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Publisher
Springer Nature
Imprint
Springer
Year
2023
ISBN
978-3-031-31476-6
Category
Computer Science
Access: On-campus: direct access. Off-campus: sign in via Shibboleth (BDREN TigerFed). See the Remote Access guide for off-campus sign-in.
Theme