711 |
"Verification, Model Checking, and Abstract Interpretation"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-030-39322-9
|
712 |
"Verification, Model Checking, and Abstract Interpretation"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-030-67067-2
|
713 |
"Verified Software. Theories, Tools, and Experiments"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-319-72308-2
|
714 |
"Verified Software. Theories, Tools, and Experiments"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-030-03592-1
|
715 |
"Verified Software. Theories, Tools, and Experiments"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-030-41600-3
|
716 |
"Verified Software: Theories, Tools, Experiments"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-642-15057-9
|
717 |
"Verified Software: Theories, Tools, Experiments"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-540-87873-5
|
718 |
"Verified Software: Theories, Tools, Experiments"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-642-27705-4
|
719 |
"Virtual, Augmented and Mixed Reality"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-319-57987-0
|
720 |
"Virtual, Augmented and Mixed Reality"
|
Monograph
|
-Empty-
|
-Empty-
|
Springer Nature - Springer Lecture Notes in Computer Science eBooks
|
SpringerLink
|
2024-05-09 20:03
|
Deleted
|
https://link.springer.com/10.1007/978-3-030-77599-5
|