Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
Identifier: 10.1007/978-3-540-87873-5
Identifier Namespace
title_id
Identifier
10.1007/978-3-540-87873-5
Identified Components with same Identifier:
Title
Package
Namespace
"Verified Software: Theories, Tools, Experiments"
(Deleted)
Springer Nature - Springer Lecture Notes in Computer Science eBooks
title_id
Verified Software: Theories, Tools, Experiments
(Current)
Springer Nature - Springer Lecture Notes in Computer Science eBooks
title_id
Verified Software: Theories, Tools, Experiments
(Current)
Springer Nature - Springer Computer Science eBooks 2008 English International
title_id
Edit (Login required)
Date Created
2023-09-12 09:46:58
Last Updated
2023-09-12 09:46:58
UUID
1857c270-2b0c-46e8-8433-9f0360e7f1da
Loading