Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops Login for the JSON version of this page.
- Title
- Formal Methods. FM 2019 International Workshops
- ISBN-10
- 3-030-54993-3
- ISBN-13
- 978-3-030-54993-0
- Author(s)
- Riccardo Guidotti, Jose N. Oliveira, Nelma Moreira, Emil Sekerinski, Daniel Ratiu
- Publisher
- Springer International Publishing AG
- Published
- 2020
- Format
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 411
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9783030549930
- ASIN
- 3030549933
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 030
- Publication
- 54993
- Check Digit
- 0
- Formatted
- 978-3-030-54993-0