Noch Fragen? 0800 / 33 82 637

The Calculus of Computation

Decision Procedures with Applications to Verification

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-642-09347-0 / 978-3642093470 / 9783642093470

Verlag: Springer Berlin

Erscheinungsdatum: 19.10.2010

Seiten: 366

Auflage: 1

Zielgruppe: Graduate

Autor(en): Zohar Manna, Aaron R. Bradley

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück