Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Francisco Durán

Books by author

Francisco Durán

Composing Model-Based Analysis Tools

Composing Model-Based Analysis Tools

2021 · ENGLISH · PDF

View details →

Tacubaya: lugar donde se bebe el agua

Tacubaya: lugar donde se bebe el agua

1997 · SPANISH · PDF

View details →

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

2007 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme