Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT Berlin ... CSE Lecture Notes in Computer Science
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT Berlin ... CSE Lecture Notes in Computer Science Login for the JSON version of this page.
- Title
- Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT Berlin ... CSE Lecture Notes in Computer Science
- ISBN-10
- 3-540-15199-0
- ISBN-13
- 978-3-540-15199-9
- Author(s)
- Publisher
- Springer
- Published
- 1986
- Format
- Paperback
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 884
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9783540151999
- ASIN
- 3540151990
- Prefix
- 978
- Group
- 3
- Group Name
- German language
- Group Identifier
- 978-3
- Registrant
- 540
- Publication
- 15199
- Check Digit
- 9
- Formatted
- 978-3-540-15199-9