Search results for "c programming simplified"
Items we need to order for you
Programming with Higher-Order Logic
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.
R 2,376.32
R 1,221.00
Go programmieren für Dummies
Go ist eine der neueren Programmiersprachen, die Softwareentwickler in ihrer Werkzeugkiste haben sollten. Die Sprache wurde mit dem Ziel entwickelt, besonders gut lesbar, benutzerfreundlich und effizient zu sein, und ist eine gute Wahl für Entwickler, die Anwendungen für die Cloud erstellen. Dieses Buch zeigt Ihnen die ersten Schritte in Go. Steigen Sie ein und beginnen Sie mit dem Schreiben von Code, der Daten aus der Cloud holt und sie in die Hände der Benutzer legt.
R 741.00
R 762.00
R 611.00
R 1,527.00
R 1,069.00
R 306.00
R 763.00
R 611.00
R 1,069.00
R 611.00
R 611.00
R 763.00
We, Programmers
The Journey of Programming and Its Pioneers: From the Birth of Code to the Rise of AI In We, Programmers, software legend Robert C. Martin--"Uncle Bob"--dives deep into the world of programming, exploring the lives of the groundbreaking pioneers who built the foundation of modern computing. From Charles Babbage and Ada Lovelace to Alan Turing, Grace Hopper, and Dennis Ritchie, Martin shines a light on the figures whose brilliance and perseverance changed the world. This memoir-infused narrative provides a rich human history filled with technical insights for developers, examining the coding breakthroughs that shaped computing at the bit and byte level. By connecting these technical achievements with the human stories behind them, Martin gives readers a rare glimpse into the struggles and triumphs of the people who made modern technology possible. Depression, failure, and ridicule--these pioneers faced it all, and their stories intertwine with the evolution of computing itself as the field evolved from its humble beginnings to the cloud-based AIs of today. With the rise of AI, Martin also explores how this technology is transforming the future of programming and the ethical challenges that come with it. Notable topics include Understanding programming's roots and how they shaped today's tech landscapeThe human side of coding pioneers--what drove them, and what they overcameKey programming breakthroughs, from the early days of assembly to the rise of object-oriented languagesThe pivotal role World War II played in advancing computer scienceInsights and predictions regarding the ethical considerations surrounding AI and the future of programming For programmers, coders, and anyone fascinated by the intersection of people and machines, this guide to the history, humanity, and technology behind the code that powers our world today is a fascinating and essential read. Register your book for convenient access to downloads, updates, and/or corrections as they become available. See inside book for details.
R 1,221.00
R 519.00
R 669.00
R 567.00
R 1,038.00
R 245.00
R 760.00
R 339.00
R 619.00
R 1,008.00
Program Construction
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages including Pascal, FORTRAN, COBOL, and Assembler. The book also includes chapters on abstract data types, analysing existing programs, and a small case study. First-year undergraduates in computer science and graduates taking courses in computing will find this a comprehensive introduction to program construction.
R 2,674.87
R 947.00
R 916.00
R 305.00
R 519.00
R 333.00
R 514.00
R 1,069.00
R 611.00
Concepts and Semantics of Programming Languages 2
This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding.Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.
R 5,795.00
