Programs, Proofs, Processes
von
Elvira Mayordomo,Benedikt L. We Fernando Ferreira
Taschenbuch
Details (
USA
)
ISBN: 978-3-642-13963-5
ISBN-10: 3-642-13963-9
Springer
· 2011