Skip to content
NovaLib
  • Sample Page
  • library
NovaLib
  • Sample Page
Library / Tag / Programming Techniques; Mathematical Logic and For

Books with this tag

Programming Techniques; Mathematical Logic and For

LIBRARY

Time for Verification: Essays in Memory of Amir Pnueli

2010 · ENGLISH · PDF

View details →
LIBRARY

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

1992 · ENGLISH · PDF

View details →
LIBRARY

Time for Verification: Essays in Memory of Amir Pnueli

2010 · ENGLISH · PDF

View details →
LIBRARY

Time for Verification: Essays in Memory of Amir Pnueli

2010 · ENGLISH · PDF

View details →
LIBRARY

Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop Paris, June 24, 1991 Proceedings

1991 · ENGLISH · DJVU

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme