Isabelle: A Generic Theorem Prover Lecture Notes in Computer Science, nr. 828 Autor Lawrence C. Paulson et al. 28 iul 1994 Paperback Preț: 335.18 lei 418.98 lei 6-8 săpt. -20%