Title: Computer Aided Verification

Title
Computer Aided Verification
Package
Springer Nature - Springer Computer Science eBooks 2023 English International
Platform
SpringerLink
URL
https://link.springer.com/10.1007/978-3-031-37703-7 
Status
Current
Publication Type
Monograph
Medium
Book
Language
First Author
Empty
First Editor
Enea
Publisher Name
Springer Nature Switzerland
Date First in Print
2023-01-01
Date First Online
2023-01-01
Access Start Date
2023-07-17
Access End Date
Empty
Volume Number
13965
Edition Statement
1
Access Type
Free
Note
Fully Open Access
Last Changed External
Empty

Curated By

Springer Nature
Edit (Login required)
Date Created
2023-06-28 15:46:32
Last Updated
2024-02-28 11:50:54
UUID
fceaae35-b468-4217-bbaf-5926617215bb
Identifiers
3
Subject Area
DDCs
0
Series
Open Access
Prices
1
Auto Update Infos
0
Manual Update Infos
8
Identifier Namespace Name Identifier Namespace Value Identifier
eISBN eisbn 978-3-031-37703-7
ISBN isbn 978-3-031-37702-0
Title_ID title_id 10.1007/978-3-031-37703-7
Subject Area
Computer Science
Dewey Decimal Classification
Series
Empty
Parent publication title ID
558
Superseding publication title ID
Empty
Preceding publication title ID
Empty
Open Access
Empty
Price Type Value Currency
list 0.0 EUR
Package Update Infos on this Source
Package Update Infos on this Source


Loading