Identifier: 978-3-540-31139-3

Identifier Namespace
isbn
Identifier
978-3-540-31139-3


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 2006 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:47:18
Last Updated
2023-09-12 09:47:18
UUID
9e2a3e87-3bac-483c-b475-341fd7489cd6


Loading