01256nam0-22004331i-450 99000150493040332120190528131539.00-262-03270-8978-0-262-03270-4000150493FED01000150493(Aleph)000150493FED0100015049320030519d1999----km-y0itay50------baengUS----a---001yyModel checkingEdmund Clarke jr., Orna Grumberg and Doron A. PeledCambridge, Mass.MIT Pressc1999xiv, 314p.24 cm3rd imprinting, 2001Analisi e progettazione dei sistemiValutazione delle prestazioniSistemi di computerverifiche004.2'121Clarke,Edmund M.67498Grumberg,Orna67499Peled,Doron A.67500ITUNINARICAUNIMARCBK990001504930403321004.2-CLA-12743SC1004.2-CLA-1A2744SC1004.2-CLA-1B2745SC113 H 74 121974 / 2018FINBCSC1FINBCModel checking27579UNINA