En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
[Ouvrage]
The foundations of program verification
/ Principal Loeckx, Jacques ; Co-auteur Sieber, Kurt.
-Brisbane, Chichester, N.Y. : John Wiley And Sons, 1987. - 230 p.
ISBN 978-0-471-91282-8
[Ouvrage]
Programmation en logique
/ Principal Hogger, C. J..
-Barcelone, N.Y., Paris : Masson, 1987. - 284 p.
ISBN 978-2-225-81009-1
[Ouvrage]
Mathematical theory of computation
/ Principal Manna, Zahor.
-N.Y., Paris, St Louis : McGraw-Hill Book Company, 1974. - 448 p.
ISBN 978-0-07-039910-5