A Formalization of Finite and Infinite Sequences in PVS
Auteur : M. C. A. Devillers
Date de publication : 1997
Éditeur : Katholieke Universiteit Nijmegen, Computing Science Institute, Faculty of Mathematics and Informatics
Nombre de pages : 27
Résumé du livre
Aucun résumé disponible pour ce livre.