Knygos.lt klubas Knygos.lt nariams
150,91 €
-30%
Įprastai
215,59 €
Symbolic Model Checking
Symbolic Model Checking
Knygos.lt klubas Knygos.lt nariams
150,91 €
-30%
Įprastai
215,59 €
  • Išsiųsime per 12–18 d.d.
Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References. Index.

Symbolic Model Checking (el. knyga) (skaityta knyga) | knygos.lt

Atsiliepimai

(4.00 Goodreads įvertinimas)
Įvertink ir tu! Visi atsiliepimai

Aprašymas

Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References. Index.

Knygos.lt klubas
Knygos.lt nariams
150,91 €
-30%
Įprastai
215,59 €
Kaina registruotiems pirkėjams
Prisijunkite ir už šią prekę
gausite 2,16 Knygų Eurų!?
Išsiųsime per 12–18 d.d.
Įsigykite dovanų kuponą
Daugiau

Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed Cache Protocol. 6. Mu-Calculus Model Checking. 7. Induction and Model Checking. 8. Equivalence Computations. 9. A Partial Order Apporach. 10. Conclusion. References. Index.

Atsiliepimai

  • Atsiliepimų nėra
0 pirkėjai įvertino šią prekę.
5
0%
4
0%
3
0%
2
0%
1
0%
(rodomas nebus)
Knygos.lt komentarų taisyklės