1. Home
  2. E-Book
  3. Programming from Specifications

Programming from Specifications by Carroll Morgan

Programming from Specifications

Programming from Specifications by Carroll Morgan
Programming from Specifications by Carroll Morgan
Publisher: Prentice-Hall 1998
ISBN/ASIN: 0137262337
ISBN-13: 9780137262335
Number of pages: 260
Programming from Specifications presents a rigorous treatment of most elementary program-development constructs, including iteration, recursion, procedures, parameters, modules and data refinement. The second edition retains the simple approach of the original: the integration of specification, development and coding, and the use of ordinary (classical) logic. Additions include more material on data refinement, a complete chapter on recursively defined types, and two further extended case studies.
Computers & Internet Programming
Go To Read/Download Page
Home Page

More Free E-Books For Programming

Similar Books For Programming

1. Data Structures Succinctly Part 1 by Robert Horvick
2. Data Structures Succinctly Part 2 by Robert Horvick
3. Direct2D Succinctly by Chris Rose
4. Assembly Language Succinctly by Christopher Rose
5. Direct 3D Succinctly by Chris Rose
6. Imperative to Functional Programming Succinctly by Marc Clifton
7. Regular Expressions Succinctly by Joe Booth
8. CUDA Succinctly by Chris Rose
9. CSS3 Succinctly by Peter Shaw
10. C# Succinctly by Joe Mayo
11. Visual Studio 2015 Succinctly by Alessandro Del Sole
12. Developing Windows Services Succinctly by José Roberto Olivas Mendoza
13. Arduino Succinctly by Marko Å valjek
14. FakeItEasy Succinctly by Michael McCarthy
15. T4 Succinctly by Nick Harrison
16. Python Succinctly by Jason Cannon
17. HBase Succinctly by Elton Stoneman
18. Delphi Succinctly by Marco Breveglieri
19. Leaflet.js Succinctly by Mark Lewin
20. C# Code Contracts Succinctly by Dirk Strauss
21. Object-Oriented Programming in C# Succinctly by Sander Rossel
22. Visual Studio Code Succinctly by Alessandro Del Sole
23. AutoCAD Succinctly by Lucio Da Silva
24. Gulp Succinctly by Kris van der Mast
25. GitHub Succinctly by Joseph D. Booth
26. Hive Succinctly by Elton Stoneman
27. Data Capture and Extraction with C# Succinctly by Ed Freitas
28. SOLID Principles Succinctly by Gaurav Kumar Arora
29. Ubuntu Server Succinctly by José Roberto Olivas Mendoza
30. Groovy Succinctly by Duncan Dickinson
31. Visual Studio 2017 Succinctly by Alessandro Del Sole
32. Twilio with C# Succinctly by Ed Freitas
33. Unity Game Development Succinctly by Jim Perry
34. R Programming Succinctly by James McCaffrey
35. Go Succinctly by Mark Lewin
36. Android on x86 by Iggy Krajci, Darren Cummings
37. Practical Guide to Bare Metal C++ by Alex Robenko
38. C++ Best Practices by Jason Turner
39. Learn to Code With C by Simon Long
40. 500 Lines or Less by Michael DiBernardo (ed.)
41. TypeScript Deep Dive by Basarat Ali Syed
42. R for Data Science by Garrett Grolemund, Hadley Wickham
43. Python Data Science Handbook by Jake VanderPlas
44. R Packages: Organize, Test, Document and Share Your Code by Hadley Wickham
45. Exploratory Data Analysis with R by Roger D. Peng
46. Hacking with Swift by Paul Hudson
47. The Power of Prolog by Markus Triska
48. Python for Everybody: Exploring Data in Python 3 by Charles R. Severance
49. Crafting Interpreters: A handbook for making programming languages by Robert Nystrom
50. Just Enough R: Learn Data Analysis with R in a Day by Sivakumaran Raman

Free E-Books For Computers & Internet
Free E-Books For Programming



Categories