Take a photo of a barcode or cover
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
—
Benjamin C. Pierce, Leonidas Lampropoulos
—
Benjamin C. Pierce, Leonidas Lampropoulos
missing page info • first pub 1873 (view editions)
ISBN/UID: None
Format: Digital
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
informative
medium-paced
Community Reviews
Content Warnings
Software Foundations, Volume 4: QuickChick: Property-Based Testing in Coq
—
Benjamin C. Pierce, Leonidas Lampropoulos
—
Benjamin C. Pierce, Leonidas Lampropoulos
missing page info • first pub 1873 (view editions)
ISBN/UID: None
Format: Digital
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
informative
medium-paced
Community Reviews
Content Warnings