Software Abstractions: Logic, Language, and Analysis
| dc.creator | Daniel Jackson | |
| dc.date.accessioned | 2025-02-17T14:28:13Z | |
| dc.date.issued | 2006 | |
| dc.identifier.uri | https://dl.ftveti.edu.et/handle/123456789/5541 | |
| dc.title | Software Abstractions: Logic, Language, and Analysis |
Files
Original bundle
1 - 1 of 1
