Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

José Bacelar Almeida

Language: English

Pages: 307

ISBN: 0857290177

Format: PDF / Kindle (mobi) / ePub

Continue reading "Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)"

New Essays on Leibniz Reception: In Science and Philosophy of Science 1800-2000 (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)

New Essays on Leibniz Reception: In Science and Philosophy of Science 1800-2000 (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)

Language: English

Pages: 278

ISBN: 3034807716

Format: PDF / Kindle (mobi) / ePub

Continue reading "New Essays on Leibniz Reception: In Science and Philosophy of Science 1800-2000 (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)"