PRINCIPLES OF MODELS CHECKING

By (author)CHRISTEL BAIER, JOOST-PIETER KATOEN

₨ 18,860


ISBN: 9780262026499
Publisher: THE MIT PRESS
Subtitle:
Author: CHRISTEL BAIER

In stock

SKU: 9780262026499
Category:
Weight 1.9 kg
ISBN

9780262026499
Format

Publication Date

2008
Pages

975
Author

,

Author Description
Publisher

Language