Main image
Click to view image in fullscreen
![]()
Computer Aided Verification
A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction.
1 650,00 DH
En stock
A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction.
| ISBN / EAN | 9783540646082 |
|---|---|
| Editeur | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |