The Calculus of Computation: Decision Procedures with Applications to Verification

von: Aaron R. Bradley · Zohar Manna

Springer Berlin Heidelberg · 2007

Gebunden

Details (Deutschland)

Details (USA)

Details (Großbritannien)

Details (Kanada)

Details (Frankreich)

Details (Italien)

ISBN: 978-3-540-74112-1

ISBN-10: 3-540-74112-7