Metric Predicate Transformaters
Auteur : Marcello Maria Bonsangue
Date de publication : 1994
Éditeur : Vrije Universiteit, Faculteit der Wiskunde en Informatica
Nombre de pages : 38
Résumé du livre
Aucun résumé disponible pour ce livre.
Auteur : Marcello Maria Bonsangue
Date de publication : 1994
Éditeur : Vrije Universiteit, Faculteit der Wiskunde en Informatica
Nombre de pages : 38
Aucun résumé disponible pour ce livre.