Adapting Proofs-as-Programs : The Curry--Howard Protocol
Iman Poernomo
Item not Available
Format: Book (Hardback)
£132.00
£114.25
Item not Available
Book (Hardback)
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Iman Poernomo
Download - Immediately Available
Format: eBook (PDF)
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Iman Poernomo
Item not Available
Format: Book (Paperback / softback)
£145.00
£125.25
Item not Available
Book (Paperback / softback)
Java kompakt : Eine Einfuhrung in die Software-Entwicklung mit Java
Matthias Holzl
Out of stock
Format: Book (Paperback / softback)