Author books / Книги автора Aaron R. Bradley Zohar Manna » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Aaron R. Bradley Zohar Manna

book The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

pdf

Author: Aaron R. Bradley Zohar Manna
Language: English
Year: 2007

00

26.01.2024

2

0