Logics of Specification Languages. - Springer Verlag, 2008. - ( EATCS Monographs on Theoretical Computer Science ).

1. Cote: 21025. En rayon: classement par auteur.