Principles of model checking

Podrobný výpis o publikaci

2008

BAIER, Christel a Joost-Pieter KATOEN

BAIER, Christel a Joost-Pieter KATOEN

Cambridge, Mass. xvii, 975, 2008

MIT Press

9780262026499

Změněno: 11. 9. 2023 04:46, Záznam byl importován z knihovního systému.

BAIER, Christel a Joost-Pieter KATOEN. Principles of model checking. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN 9780262026499.

BAIER, Christel a Joost-Pieter KATOEN. \textit{Principles of model checking}. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN~9780262026499.