Å·±¦ÓéÀÖ

The Big Books of Summer 2025

Software Foundations, Volume 4 > Editions

by Leonidas Lampropoulos

Sort by
Format
Language
Editions
Showing 1-2 of 2
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq (ebook)
ebook
Author(s):
ASIN:
B0DTZQXT6Z
Edition language:
English
Average rating:
2.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
QuickChick: Property-Based Testing in Coq (Software Foundations, #4)
QuickChick: Property-Based Testing in Coq (Software Foundations, #4)
Published 2021 by Electronic textbook
Unknown Binding
Author(s):
ASIN:
B0DN7Y8JYV
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page