Isbn: 9788184893960 - the calculus of computation : decision procedures with applications to verification [paperback] (1 risultati)

Manna Zohar Bradley Aaron R.

Lingua: Inglese

Editore: Springer (India) Private Limited, 2010

ISBN 10 / ISBN 13: 8184893965 / 9788184893960

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books, Hounslow, Regno Unito