Identifier: 978-3-662-46080-1

Identifier Namespace
isbn
Identifier
978-3-662-46080-1


Identified Components with same Identifier:

Title Package Namespace
"Verification, Model Checking, and Abstract Interpretation" (Deleted) Springer Nature - Springer Lecture Notes in Computer Science eBooks isbn
Verification, Model Checking, and Abstract Interpretation (Current) Springer Nature - Springer Computer Science eBooks 2015 English International isbn
Verification, Model Checking, and Abstract Interpretation (Current) Springer Nature - Springer Lecture Notes in Computer Science eBooks isbn
Edit (Login required)
Date Created
2023-09-12 09:48:17
Last Updated
2023-09-12 09:48:17
UUID
b96ad40c-95e4-4b4d-a990-993e9709a763


Loading