1
Julkaistu 2007
Sisällysluettelo: ... Programming -- Specifying and Verifying Programs in Spec# -- Basic Protocols: Specification Language...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2012
Sisällysluettelo: ...-sensor Fusion Method -- Group Sparse Inverse Covariance Selection with a Dual Augmented Lagrangian Method...
Hae kokoteksti
Elektroninen E-kirja