A
Logique et ordinateur : Modélisation du raisonnement et vérification de la correction des programmes
- Auteur
- N.A. Alechina, A.M. Anisov, P.I. Bystrov, I.A. Gerasimova, V.S. Meskov, N.N. Nepeivoda, V.A. Smirnov, V.N. Stebletsova, V.I. Shalack
- Éditeur
- La science
- Année
- 1990
- Langue
- Russe
- 46
Évaluer ce livre
Pour lire le livre, se connecter / s'inscrire
Aperçu du fragment
