MICHAEL, LAITAN LOGIC PROGRAMMING WITH FLIX: BUILDING ANALYZERS AND CONSTRAINT SOLVERS: DESIGN STATIC ANALYZERS, TYPE CHECKERS, AND PROGRAM VERIFICATION TOOLS WITH DATALOG AND FUNCTIONAL PROGRAMMING ON THE JVM

MICHAEL, LAITAN LOGIC PROGRAMMING WITH FLIX: BUILDING ANALYZERS AND CONSTRAINT SOLVERS: DESIGN STATIC ANALYZERS, TYPE CHECKERS, AND PROGRAM VERIFICATION TOOLS WITH DATALOG AND FUNCTIONAL PROGRAMMING ON THE JVM

Price: Low - High

Offers updated on: 08/11/2025. Paid and non-exhaustive ads. The ratings are generated from multiple sources, including data provided by the merchant and publicly available information.

About these search results

Due to technical constraints, Kelkoo cannot guarantee the complete accuracy, nor the completeness of the information provided by the merchants. As a result, and due to the nature of Kelkoo's activities, in the event of discrepancies between the information displayed on the Kelkoo website or ads and the one displayed on the merchant's website, the latter will prevail. Prices shown are including all fees. - Learn more

Kelkoo SAS 64-66 Rue des Archives 75003 Paris - France
Copyright © 2025 All rights reserved.
A Logo Kelkoogroup company
Hostname: dc1-kelkoo9-06 Version: 1.0.66