Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / César A. Muñoz

Books by author

César A. Muñoz

NASA formal methods: 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /

NASA formal methods: 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings /

ENGLISH · PDF

View details →

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

2002 · ENGLISH · PDF

View details →

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

2002 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme