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

• Author(s): David Gries • Publisher: Springer • Publisher Imprint: Springer • BISAC: Questions & AnswersThis is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correct...

• Author(s): David Gries • Publisher: Springer • Publisher Imprint: Springer • BISAC: Questions & AnswersThis volume is being published for two reasons. The first is to present a collection of previously published articles on the subject of p...

• Author(s): David Gries • Publisher: Springer • Publisher Imprint: Springer • BISAC: Software Development & Engineering - GeneralThis book constitutes the Proceedings of the IFIP Working Conference PRO- COMET'98, held 8-12 June 1998 at Shelt...