Theory and Formal Methods 1993: Proceedings Of The First Imperial College Department Of Computing Workshop On Theory And Formal Methods, Isle Of . . . ... Chelwood Gate, Sussex, UK, 29-31 March 1993
von
Geoffrey Burn
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-19842-0
ISBN-10: 3-540-19842-3
Springer
· 1993