Frohe Weihnachten und wunderbare Buchmomente!

Bookbot
1/3

Mechanizing Proof

Autoren

Parameter

ISBN
9780262632959
Verlag
MIT Press

Kategorien

Buchvariante

2004, paperback

Buchkauf

Wir benachrichtigen dich per E-Mail.