Search results for "c programming"
Items we need to order for you
Formal Specification Techniques for Engineering Modular C Programs
Software is difficult to develop, maintain, and reuse. Two factors that contribute to this difficulty are the lack of modular design and good program documentation. The first makes software changes more difficult to implement. The second makes programs more difficult to understand and to maintain. Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity. The book presents a formal specification language that promotes software modularity through the use of abstract data types, even though the underlying programming language may not have such support. This language is structured to allow useful information to be extracted from a specification, which is then used to perform consistency checks between the specification and its implementation. Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs. The aim of this process is to make existing programs easier to maintain and reuse while keeping their essential functionalities unchanged. Audience: Suitable as a secondary text for graduate level courses in software engineering, and as a reference for researchers and practitioners in industry.
R 4,643.15
Cryptography in C and C++
This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second edition includes about 100 pages of additional material as well as numerous improvements to the original text. The chapter about random number generation has been completely rewritten, and the latest cryptographic techniques are covered in detail. Furthermore, this book covers the recent improvements in primality testing.
R 2,168.78
Pro Visual C++ 2005 for C# Developers
Author has unique knowledge of Visual C++ 2005 development at Microsoft, including many undocumented features, hints and tips which he records for the first time in this bookPresents a fast-track entry for developers familiar with C#, into the VC++ worldComplete coverage of Visual C++ 2005 to ensure that readers will have broad understanding necessary to leverage the unique, powerful features
R 2,122.66
Programming for Software Sharing
Most computer users are familiar with the problems of sharing software with others, and the transfer of programs from one computing environment to another. Software represents an ever-increasing proportion of the cost of computing and these costs tend to nullify all the economic advantages flowing from the wider availability of cheap hardware. Years ago it was hoped that the widespread use of high-level programming languages would help in alleviating the problems of software production, by increasing productivity and by making it simpler for users with similar problems to be able to use the same programs, possibly on different types of machines. It is a common experience that in practice this simple optimism has proved to be unfounded. It was these considerations which led us in 1979 to organize a two-week course on "Programming for Software Sharing" at the European Community Joint Research Centre, Ispra Establishment (Italy), forming part of the regular series of "Ispra Courses". With prominent invited lecturers, local contributions and through discussion sessions we examined with an audience from many countries the problems involved in the sharing and transfer of software, as well as suggesting ways of overcoming them. In our local environment we are faced daily with three problems both from engagements in software exchange in the scientific-technical field on a Europe-wide or world-wide basis, and from work with programming techniques and contributions to the international standardization process.
R 1,555.49
Programmiersprachen und Programmentwicklung
Dieser Band enthalt die Beitrage zur Fachtagung "Programmiersprachen und Programmentwicklung", 9. und 10. Marz 1982 in Mlinchen. Die Tagung ist die siebte in der Reihe der Fachtagungen, die der FachausschuB 2 "Programmiersprachen und Programmentwicklung" der Gesellschaft fUr In- formatik veranstaltet und deren erste 1971 ebenfalls in MUnchen statt- gefunden hat. Dazwischen liegen SaarbrUcken (1972), Kiel (1974), Er- langen (1976), Braunschweig (1978) und Darmstadt (1980). Ziel dieser Fachtagungen war und ist es, den jeweils aktuellen Stand des Fachge- biets darzustellen, neuere Entwicklungen aufzuzeigen und den Erfahrungs- austausch zwischen Forschern und Anwendern zu fordern. Die Erweiterung der frUheren Bezeichnung "Programmiersprachen" des Fachausschusses (und seiner ersten fUnf Fachtagungen) tragt der in den letzten J,ahren gewachsenen Einsicht Rechnung, daB sprachliche und me- thodische Fortschritte in der Programmierung nur gemeinsam erzielt wer- den konnen. Dieses umfassendere Selbstverstandnis des Fachgebiets, wie auch die zunehmende Annaherung von Forschung und Anwendung kommen gera- de in der,Gesamtheit der vorliegenden Beitrage deutlich zum Ausdruck.Auf eine thematische Untergruppierung wurde deshalb verzichtet. Die An- ordnung der Vortrage entspricht ihrer Reihenfolge im Tagungsprogramm. Vorgezogen wurden lediglich die Hauptvortrage, in denen anerkannte Ex- perten richtungweisend Uber neuere Entwicklungen in Theorie und Praxis berichten. Wahrend von einem der Hauptvortrage bei Drucklegung leider nur die Zusammenfassung vorlag, traf das Manuskript von Professor Turski, Universitat Warschau, - in der gegenwartigen Krise eigentlich wider Er- warten - noch rechtzeitig ein.
R 2,040.84
