• Free eBooks
  • Elements of Programming by Alexander Stepanov, Paul McJones

Elements of Programming by Alexander Stepanov, Paul McJones

 
0.0 (0)
71
12333

Ebook Details

Author
Alexander Stepanov, Paul McJones
Publisher
Semigroup Press 2019
ISBN-13
9780578222141
Size
1.1MB
Format
PDF
Number of pages
279

This book applies the deductive method to programming by affiliating programs with the abstract mathematical theories that enable them to work

 Specification of these theories, algorithms written in terms of these theories, and theorems and lemmas describing their properties are presented together.

Related Ebooks

TeX for the Impatient by Paul Abrahams, Kathryn Hargreaves, Karl Berry
 
0.0 (0)
Author: Paul Abrahams, Kathryn Hargreaves, Karl Berry
TEX for the Impatient is a handbook that arose from the need to help technical writers learn TEX more quickly -- and once having learned it, to find fast...
Learn Ruby The Hard Way by Zed A. Shaw
 
0.0 (0)
Author: Zed A. Shaw
The free book assumes absolutely no prior programming knowledge and will guide you carefully and slowly through the learning process.
Programming Vertex, Geometry, and Pixel Shaders by Wolfgang Engel, et al.
 
0.0 (0)
Author: Wolfgang Engel, et al.
This practical reference covers all of the advanced rendering techniques important for graphics programmers in the game and film industries, and will help them implement these techniques efficiently with...
More Math Into LaTeX by George Grätzer
 
0.0 (0)
Author: George Grätzer
This is the fourth edition of the standard introductory text and complete reference for scientists in all disciplines, as well as engineers.
Learn C The Hard Way by Zed A. Shaw
 
0.0 (0)
Author: Zed A. Shaw
Tweets About Twits by Frederick Meekins
 
0.0 (0)
Author: Frederick Meekins
Git Magic by Ben Lynn
 
0.0 (0)
Author: Ben Lynn
Evolved to Win by Moshe Sipper
 
0.0 (0)
Author: Moshe Sipper
Moshe Sipper and his group have produced a plethora of award-winning results, in numerous games of diverse natures, evidencing the success and efficiency of evolutionary algorithms in general. ...
Stochastic Attribute-Value Grammars by Rob Malouf, Miles Osborne
 
0.0 (0)
Author: Rob Malouf, Miles Osborne
This one-week course will provide an introduction to the maximum entropy principle and the construction of maximum entropy models for natural language processing. 
Outlook 2010 by Stephen Moffat
 
0.0 (0)
Author: Stephen Moffat
The Hudson Book by Manfred Moser, Tim O'Brien
 
0.0 (0)
Author: Manfred Moser, Tim O'Brien
Making TeX Work by NormanWalsh
 
0.0 (0)
Author: NormanWalsh
Perceptual Coding of Digital Audio by Ted Painter, Andreas Spanias
 
0.0 (0)
Author: Ted Painter, Andreas Spanias
Google Beyond google by Varinder Taprial, Priya Kanwar
 
0.0 (0)
Author: Varinder Taprial, Priya Kanwar

User reviews

There are no user reviews for this listing.
Ratings
Rate this Ebook
Comments