CHECK PRICE NOW!
Read Full Review >>
Software Tools
Posted by admin on November 19, 2011
Comments Off
mural: A Formal Development Support System
Posted by admin on November 15, 2011
Comments Off
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly software environment (with extensive use of windows) that makes best use of human talents to produce computer systems that are proved to be correctly designed. Professor Cliff Jones is internationally known as the developer of the VDM system of formal notation (Vienna Development Method). This book describes the requirements, concepts, and realisation of the mural system. The authors present systematically and completely the results of this substantial research project, from the basic theoretical level to its effective implementation. The book will be of equal interest to academics working on formal methods at research level (and perhaps to graduate research students), and to practitioners and software engineers who are using – or who will have to use for defence contracts, etc. – formal methods.
CHECK PRICE NOW!
Read Full Review >>
C Programming Language, including: Ansi C, Brian Kernighan, C (programming Language), Dennis Ritchie, International Obfuscated C Code Contest, Header … Program Interface, C Standard Library, Malloc
Posted by admin on November 14, 2011
Comments Off
Hephaestus Books represents a new publishing paradigm, allowing disparate content sources to be curated into cohesive, relevant, and informative books. To date, this content has been curated from Wikipedia articles and images under Creative Commons licensing, although as Hephaestus Books continues to increase in scope and dimension, more licensed and public domain content is being added. We believe books such as this represent a new and exciting lexicon in the sharing of human knowledge. This particular book is a collaboration focused on C programming language.
More info: C is a general-purpose computer programming language developed in 1972 by Dennis Ritchie at the Bell Telephone Laboratories for use with the Unix operating system.
CHECK PRICE NOW!
Read Full Review >>
The Practice of Programming
Posted by admin on November 12, 2011
Comments Off
Pointers on C
Posted by admin on November 10, 2011
Comments Off
Designed for professionals and advanced students, Pointers On C provides a comprehensive resource for those needing in-depth coverage of the C programming language. An extensive explanation of pointer basics and a thorough exploration of their advanced features allows programmers to incorporate the power of pointers into their C programs. Complete coverage, detailed explanations of C programming idioms, and thorough discussion of advanced topics makes Pointers On C a valuable tutorial and reference for students and professionals alike.
CHECK PRICE NOW!
Read Full Review >>
C Traps and Pitfalls
Posted by admin on November 8, 2011
Comments Off
C: The Complete Reference, 4th Ed.
Posted by admin on November 6, 2011
Comments Off
Another gem from Herb Schildt–best-selling programming author with more than 2.5 million books sold! C: The Complete Reference, Fourth Edition gives you full details on C99, the New ANSI/ISO Standard for C. You’ll get in-depth coverage of the C language and function libraries as well as all the newest C features, including restricted pointers, inline functions, variable-length arrays, and complex math. This jam-packed resource includes hundreds of examples and sample applications.
CHECK PRICE NOW!
Read Full Review >>
The C Answer Book: Solutions to the Exercises in ‘The C Programming Language,’ Second Edition
Posted by admin on November 5, 2011
Comments Off
Provides solutions to all exercises in Kernighan & Ritchie’s new ANSI C book. Ideal for use with K&R in any course on C. Careful study of this answer book will help understand ANSI C and enhance programming skills. Tondo & Gimpel describe each solution and completely format programs to show the logical flow.
CHECK PRICE NOW!
Read Full Review >>
C Programming Language (2nd Edition)
Posted by admin on November 4, 2011
Comments Off
