Computer-Aided Reasoning ACL2 Case Studies - Matt Kaufmann - Panagiotis Manolios - Libro in lingua inglese - Springer - Advances in Formal Methods Goedkoop

Descrizione

Fortuna Fatali e il teorema del calesse di Valentina Barzago Recensioni: 0/5 DettagliCuratore:Matt Kaufmann, Panagiotis ManoliosEditore:SpringerCollana:Advances in Formal MethodsAnno:2000Rilegatura:HardbackPagine:337 p.Testo in EnglishDimensioni:235 x 155 mmEAN:9780792378495