Search alternatives:
programming language » programming languages, program language
Cover Image
Read Now

1
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Algorithms -- Invited Tutorials -- ABC: An Academic Industrial-Strength Verification Tool -- There’s Plenty...”