Search results for “[Subject: programming-open-source]”

• Author(s): Michael J. Halvorson • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: HistoryCode Nation explores the rise of software development as a social, cultural, and technical phenomenon in American history. The movement germin...

• Author(s): Michael J. Halvorson • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: HistoryCode Nation explores the rise of software development as a social, cultural, and technical phenomenon in American history. The movement germin...

• Author(s): Aaron Stump • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification...

• Author(s): Aaron Stump • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Computer ScienceAgda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification...

• Author(s): Krzysztof R. Apt | Tony Hoare • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - GeneralEdsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making...

• Author(s): Jayadev Misra • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsSet theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will alwa...

• Author(s): Tobias Nipkow • Publisher: ACM Books • Publisher Imprint: ACM Books • BISAC: Programming - AlgorithmsThis book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Startin...