áru
(üres)
Kapcsolat
Fiók 
In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
tovább
In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
leírás elrejtése
- Kiadó: Springer-Verlag New York Inc.
- Kód:
- Kiadás éve: 2011
- Nyelv: Angol
- Kötés: Fűzött (paperback)
- Oldalak száma: 191
- Csomag szélessége: 25.3 cm
- Csomag magassága: 18 cm
- Csomag mélysége: 1.8 cm
- Csomag súlya: 394 g
Recenzió