Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Tho
Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Tho Login for the JSON version of this page.
- Title
- Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Tho
- ISBN-10
- 0-387-19842-3
- ISBN-13
- 978-0-387-19842-2
- Author(s)
- Mark Ryan, Geoffrey Burn, Simon Gay, British Computer Society, England Imperial College Department Of Computing Workshop On Theory And Formal Methods 1st 1993 Chelwood Gate, Imperial College Department Of Computing Workshop On Theory And Formal Methods 1st 1993 Chelwood Gate England
- Publisher
- Springer Verlag, Springer-Verlag
- Published
- 1993
- Format
- Paperback
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 556
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9780387198422
- ASIN
- 0387198423
- Prefix
- 978
- Group
- 0
- Group Name
- English language
- Group Identifier
- 978-0
- Registrant
- 387
- Publication
- 19842
- Check Digit
- 2
- Formatted
- 978-0-387-19842-2