Systems and Software Verification: Model-Checking Techniques and Tools
B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. SchnoebelenCatégories:
Année:
2001
Editeur::
Springer
Langue:
english
Pages:
201
ISBN 10:
3540415238
ISBN 13:
9783540415237
Fichier:
DJVU, 1.51 MB
IPFS:
,
english, 2001
Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit