Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
Identifier: 978-3-319-11936-6
Identifier Namespace
eisbn
Identifier
978-3-319-11936-6
Identified Components with same Identifier:
Title
Package
Namespace
Automated Technology for Verification and Analysis
(Current)
Springer Nature - Springer Computer Science eBooks 2014 English International
eisbn
Automated Technology for Verification and Analysis
(Current)
Springer Nature - Springer Lecture Notes in Computer Science eBooks
eisbn
Edit (Login required)
Date Created
2023-09-12 09:48:15
Last Updated
2023-09-12 09:48:15
UUID
7e84db30-56c4-4b62-ac08-2c9b32c25fb8
Loading