0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (2)
  • R250 - R500 (8)
  • R500+ (116)
  • -
Status
Format
Author / Contributor
Publisher

Books > Academic & Education > Varsity Textbooks > Computer Science

Showing 1 - 25 of 127 matches in Computer Science

Systems Analysis And Design In A Changing World (Hardcover, 7th Edition): John Satzinger, Robert Jackson, Stephen D. Burd Systems Analysis And Design In A Changing World (Hardcover, 7th Edition)
John Satzinger, Robert Jackson, Stephen D. Burd 1
R1,366 R1,270 Discovery Miles 12 700 Save R96 (7%) Ships in 10 - 15 working days

Refined and streamlined, Systems Analysis And Design In A Changing World helps students develop the conceptual, technical, and managerial foundations for systems analysis design and implementation as well as project management principles for systems development.

Using case driven techniques, the succinct 14-chapter text focuses on content that is key for success in today's systems analysis and design. The authors use a highly effective presentation to teach both traditional (structured) and object-oriented (OO) approaches to systems analysis and design. The book highlights use cases, use diagrams, and use case descriptions required for a modeling approach, while demonstrating their application to traditional, web development, object-oriented, and service-oriented architecture approaches.

The Seventh Edition's refined sequence of topics makes it easier to read and understand than ever. Regrouped analysis and design chapters provide more flexibility in course organization. Enabling students to apply what they learn as they go, the text's running cases have been completely updated, and now include a stronger focus on connectivity in applications.

Oracle 12c - SQL (Paperback, 3rd Edition): Joan Casteel Oracle 12c - SQL (Paperback, 3rd Edition)
Joan Casteel 1
R1,406 R1,302 Discovery Miles 13 020 Save R104 (7%) Ships in 10 - 15 working days

Now you can master the latest version of the fundamental SQL language used in all relational databases today with ORACLE 12C: SQL, 3E. Much more than a study guide, this edition helps you transform a basic knowledge of databases into proficiency with the latest SQL and Oracle concepts and techniques. You learn to use Oracle 12c SQL most effectively as you prepare for the first exam in the Oracle Database Administrator or Oracle Developer Certification Exam paths. This edition initially focuses on creating database objects, including tables, constraints, indexes, sequences, manipulating data, and more. The author then explores both basic data query techniques as well as advanced query topics using a proven hands-on approach. ORACLE 12C: SQL, 3E introduces the latest features and enhancements in 12c, from enhanced data types and invisible columns to new CROSS and OUTER APPLY methods for joins. To help you transition to further studies and even more advanced books in this series, appendixes introduce SQL tuning, compare Oracle's SQL syntax with other databases, and overview Oracle connection interface tools: SQL Developer and SQL Plus. Trust ORACLE 12C: SQL, 3E to provide the knowledge you need for Oracle certification testing and the solid foundation for pursuing a career as a database administrator or developer.

Systems Analysis And Design (Hardcover, 12th Edition): Scott Tilley Systems Analysis And Design (Hardcover, 12th Edition)
Scott Tilley
R1,385 R1,285 Discovery Miles 12 850 Save R100 (7%) Ships in 10 - 15 working days

Discover a practical, streamlined approach to information systems development that focuses on the latest developments with Tilley's Systems Analysis And Design.

Real examples clearly demonstrate both traditional and emerging approaches to systems analysis and design, including object-oriented and agile methods. You also study cloud computing and mobile applications as this edition presents an easy-to-follow approach to systems analysis and design.

Meaningful projects, insightful assignments and both online and printed exercises emphasize the critical thinking and IT skills that are most important in today's dynamic, business-related environment.

CISA - Certified Information Systems Auditor Study Guide 4e (Paperback, 4th Edition): Cannon CISA - Certified Information Systems Auditor Study Guide 4e (Paperback, 4th Edition)
Cannon
R1,739 R1,389 Discovery Miles 13 890 Save R350 (20%) Ships in 9 - 17 working days

The ultimate CISA prep guide, with practice exams Sybex's CISA: Certified Information Systems Auditor Study Guide, Fourth Edition is the newest edition of industry-leading study guide for the Certified Information System Auditor exam, fully updated to align with the latest ISACA standards and changes in IS auditing. This new edition provides complete guidance toward all content areas, tasks, and knowledge areas of the exam and is illustrated with real-world examples. All CISA terminology has been revised to reflect the most recent interpretations, including 73 definition and nomenclature changes. Each chapter summary highlights the most important topics on which you'll be tested, and review questions help you gauge your understanding of the material. You also get access to electronic flashcards, practice exams, and the Sybex test engine for comprehensively thorough preparation. For those who audit, control, monitor, and assess enterprise IT and business systems, the CISA certification signals knowledge, skills, experience, and credibility that delivers value to a business. This study guide gives you the advantage of detailed explanations from a real-world perspective, so you can go into the exam fully prepared. * Discover how much you already know by beginning with an assessment test * Understand all content, knowledge, and tasks covered by the CISA exam * Get more in-depths explanation and demonstrations with an all-new training video * Test your knowledge with the electronic test engine, flashcards, review questions, and more The CISA certification has been a globally accepted standard of achievement among information systems audit, control, and security professionals since 1978. If you're looking to acquire one of the top IS security credentials, CISA is the comprehensive study guide you need.

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch Problem Solving with C++ - Global Edition (Paperback, 10th edition)
Walter Savitch
R2,551 Discovery Miles 25 510 Ships in 12 - 19 working days

For courses in C++ introductory programming. Learn the fundamentals of C++ programming with an emphasis on problem solving Now in its 10th Edition, Problem Solving with C++ is written for the beginning programmer. The text cultivates strong problem-solving skills and programming techniques as it introduces readers to the C++ programming language. Author Walt Savitch's approach to programming emphasizes active reading through the use of well-placed examples and self-tests, while flexible coverage means the order of chapters and sections can easily be adapted without sacrificing continuity. Savitch's clear, concise style is a hallmark feature of the text and is supported by a suite of tried-and-true pedagogical tools. The 10th Edition includes ten new Programming Projects, along with new discussions and revisions. Also available with MyLab Programming MyLab (TM) Programming is an online learning system designed to engage students and improve results. MyLab Programming consists of programming exercises correlated to the concepts and objectives in this book. Through practice exercises and immediate, personalized feedback, MyLab Programming improves the programming competence of beginning students who often struggle with the basic concepts of programming languages. Note: You are purchasing a standalone product; MyLab (TM) Programming does not come packaged with this content. Students, if interested in purchasing this title with MyLab Programming , ask your instructor for the correct package ISBN and Course ID. Instructors, contact your Pearson representative for more information. If you would like to purchase both the physical text and MyLab Programming , search for: 0134710746 / 9780134710747 Problem Solving with C++ Plus MyLab Programming with Pearson eText -- Access Card Package, 10/e Package consists of: 0134448286 / 9780134448282 Problem Solving with C++ 0134522419 / 9780134522418 MyLab Programming with Pearson eText -- Access Card -- for Problem Solving with C++, 10/e

Database Principles - Fundamentals of Design, Implementation, and Management (Paperback, 3rd edition): Carlos Coronel, Keeley... Database Principles - Fundamentals of Design, Implementation, and Management (Paperback, 3rd edition)
Carlos Coronel, Keeley Crockett, Steven Morris, Craig Blewett
R1,179 R1,111 Discovery Miles 11 110 Save R68 (6%) View more sellers In Stock

The third edition of Database Principles maintains its engaging writing style and brevity; its unique balance between theory and practice; and its wealth of examples throughout the text. It provides a solid and practical foundation for the design, implementation and management of database systems. The new edition has been updated with all the latest developments and technologies and incorporates a generous number of localised and motivating business vignettes that tie the concepts to real-life situations. The coverage of SQL provides numerous examples and simpler explanations that focus on areas most important for a database career. This edition is suitable for a first course in databases at undergraduate level and will also provide essential material for conversion postgraduate courses. Providing comprehensive and practical coverage of core database concepts, it is an ideal text not only for those studying database management systems in the context of computer science, but also those on courses in the areas of information systems and business information technology.

Principles Of Web Design - The Web Warrior Series (Paperback, 6th edition): Joel Sklar Principles Of Web Design - The Web Warrior Series (Paperback, 6th edition)
Joel Sklar
R1,399 R1,295 Discovery Miles 12 950 Save R104 (7%) Ships in 10 - 15 working days

Joel Sklar has written the definitive text for Web site design, PRINCIPLES OF WEB DESIGN, Sixth Edition guiding readers through the entire Web site creation process, while developing and enhancing your HTML, CSS, and visual design skills along the way. Now updated to include the latest Web design technologies and trends, this Sixth Edition features all-new sections on HTML5, CSS3, CSS page layouts, and enhanced navigation as well as technical updates and new screen shots throughout. Beginning with the Web design environment and the principles of sound Web design, readers will continue to planning site layout and navigation, and progress to Web typography, colors and images, working with CSS, and more. Armed with a priceless understanding and plenty of hands-on activities, readers will gain a solid foundation of designing successful, standards-based Web sites that are portable across different operating systems, browsers, and Web devices. Companion site available at no additional cost www.joelsklar.com/pwd5.

MIS (Paperback, 11th Edition): Hossein Bidgoli MIS (Paperback, 11th Edition)
Hossein Bidgoli
R1,220 R1,140 Discovery Miles 11 400 Save R80 (7%) Ships in 10 - 15 working days

Bidgoli's MIS 11 delivers a thorough introduction to MIS with the most practical and current coverage available. It presents the latest developments in cloud computing, AR/VR/MR, quantum computing, blockchain, strategic information systems, data lakes, digital citizenship, low code and no code, metaverse platforms and NFTs. Key concepts and skills within each case study and information box are tagged to the corresponding AASCB standards.

The robust MindTap digital learning experience includes Use It activities that give students immediate feedback and "You Make the Decision" interactive case studies that place them in role of decision-maker. A micro-course on SQL fundamentals gives students hands-on coding experience.

In addition, the author's daily social media posts provide updates on IS/IT applications, new developments, breaking news and IT Jobs -- bringing up-to-the-minute currency to your lectures.

Foundations Of Computer Science (Paperback, 5th Edition): Behrouz Forouzan Foundations Of Computer Science (Paperback, 5th Edition)
Behrouz Forouzan
R1,269 R1,185 Discovery Miles 11 850 Save R84 (7%) View more sellers Ships in 10 - 15 working days

Based on the Association for Computing Imagery model curriculum guidelines, Foundations of Computer Science gives students a bird’s eye view of Computer Science.

This easy-to-read and highly navigable text will help students quickly learn all the fundamentals of computer science they need on their course and to improve their employability prospects. Updated to cover all the latest technologies and changes to course requirements, this fifth edition features new chapters on the efficiency of algorithms, computer graphics, a complete revision on computer networks and the internet, and data security.

Material on ethical issues, including intellectual property, has also been expanded.

New Perspectives on HTML 5 and CSS - Comprehensive (Paperback, 8th edition): Patrick Carey New Perspectives on HTML 5 and CSS - Comprehensive (Paperback, 8th edition)
Patrick Carey
R1,540 R1,428 Discovery Miles 14 280 Save R112 (7%) Ships in 10 - 15 working days

Develop the skills you need to compete successfully in today's high-tech workforce with Carey's NEW PERSPECTIVES ON HTML5 AND CSS3: COMPREHENSIVE, 8E and MindTap digital resources. You learn fundamental design concepts as you build websites based on real-world case scenarios. Specially designed activities help you strengthen your logic, design, troubleshooting and creativity. The projects you complete can even become part of your professional portfolio. You progress from hands-on labs focused on code snippets and debugging to completing assessments and a capstone project. Short Coding Challenges check your understanding of key concepts, while Debugging Challenges teach you how to fix syntax errors in an existing web page. In addition, MindTap's educational integrated development environment (IDE) provides immediate feedback with tutorials, based on realistic case problems, that help you refine problem-solving skills as you develop websites in a professional environment.

Teachers Discovering Computers - Integrating Technology in a Changing World (Paperback, 8th edition): Randolph Gunter, Glenda... Teachers Discovering Computers - Integrating Technology in a Changing World (Paperback, 8th edition)
Randolph Gunter, Glenda Gunter
R2,375 Discovery Miles 23 750 Ships in 12 - 19 working days

TEACHERS DISCOVERING COMPUTERS: INTEGRATING TECHNOLOGY IN A CHANGING WORLD, EIGHTH EDITION introduces future educators to technology and digital media in order to help them successfully teach the current generation of digital students.

CompTIA Security+ Guide To Network Security Fundamentals (Paperback, 8th Edition): Mark Ciampa CompTIA Security+ Guide To Network Security Fundamentals (Paperback, 8th Edition)
Mark Ciampa
R1,420 R1,316 Discovery Miles 13 160 Save R104 (7%) Ships in 10 - 15 working days

Mapped to the new CompTIA Security+ SY0-701 Certification Exam, Ciampa's COMPTIA SECURITY+ GUIDE TO NETWORK SECURITY FUNDAMENTALS, 8th Edition, thoroughly prepares readers for professional certification and career success.

The text covers general security concepts, threats, vulnerabilities and mitigations, security architecture, security operations and security program management and oversight. It also includes expansive coverage of attack vectors and attack surfaces, social engineering attacks, data controls, endpoint vulnerabilities and defenses, identity and access management, infrastructure and wireless security, cloud and virtualization security, artificial intelligence and vulnerability management.

New Hands-On Projects, case activities and virtual online cybersecurity lab exercises help readers put what they learn into practice.

Ethics in Information Technology (Paperback, 6th edition): George Reynolds Ethics in Information Technology (Paperback, 6th edition)
George Reynolds
R1,325 R1,228 Discovery Miles 12 280 Save R97 (7%) Ships in 10 - 15 working days

Preparing for a future in IT? ETHICS IN INFORMATION TECHNOLOGY, 6E provides an understanding of the legal, ethical, and societal implications of information technology that you'll need as a successful IT professional. Examine ethical situations in IT and review practical advice for addressing common issues as you study professional codes of ethics, cyberattacks and cybersecurity, security risk assessment, privacy, electronic surveillance, and freedom of expression. You also review Internet censorship, protection of intellectual property, ethical decisions in software systems, IT's impact on society, social networking, and ethics of IT corporations. This book provides a thorough foundation for addressing ethical issues in today's workplace. Business vignettes, Critical-Thinking exercises, thought-provoking Cases and decision-making features prepare you to make key business decisions.

CompTIA Network+ Guide to Networks (Paperback, 9th edition): Jill West CompTIA Network+ Guide to Networks (Paperback, 9th edition)
Jill West
R1,446 R1,342 Discovery Miles 13 420 Save R104 (7%) Ships in 10 - 15 working days

Master the technical skills and industry knowledge you need to begin an exciting career installing, configuring and troubleshooting computer networks with West's completely updated NETWORK+ GUIDE TO NETWORKS, 9E. This resource thoroughly prepares you for success on the latest CompTIA's Network+ N10-008 certification exam as content corresponds to all exam objectives, including protocols, topologies, hardware, network design, security and troubleshooting. Detailed, step-by-step instructions as well as cloud, virtualization and simulation projects give you experience working with a variety of hardware, software and operating systems as well as device interactions. Stories from professionals on the job, insightful discussion prompts, hands-on activities, applications and projects all guide you in exploring key concepts in-depth. You gain the problem-solving tools for any computing environment. MindTap digital resources are also available for additional practice and certification prep.

Information Technology Project Management (Paperback, 9th edition): Kathy Schwalbe Information Technology Project Management (Paperback, 9th edition)
Kathy Schwalbe
R1,273 R1,185 Discovery Miles 11 850 Save R88 (7%) Ships in 10 - 15 working days

Develop a strong understanding of IT project management as you learn to apply today's most effective project management tools and techniques with the unique approach found in Schwalbe's INFORMATION TECHNOLOGY PROJECT MANAGEMENT, 9E. Examine the latest developments and skills as you prepare for the Project Management Professional (PMP) or Certified Associate in Project Management (CAPM) exams. This edition reflects content from the latest PMBOK (R) Guide, 6E and the Agile Practice Guide while providing a meaningful context. Examples from familiar companies featured in today's news discussion, exercises and cases reinforce learning. Time-saving template files assist in completing tasks. Agile information, a guide to using Microsoft Project 2016 and MindTap online resources will help you master today's most marketable IT project management skills.

Introduction to Computer Theory (Paperback, 2Rev ed): Daniel I. A. Cohen Introduction to Computer Theory (Paperback, 2Rev ed)
Daniel I. A. Cohen 4
R6,943 Discovery Miles 69 430 Ships in 12 - 19 working days

This text strikes a good balance between rigor and an intuitive approach to computer theory. Covers all the topics needed by computer scientists with a sometimes humorous approach that reviewers found "refreshing". It is easy to read and the coverage of mathematics is fairly simple so readers do not have to worry about proving theorems.

Discovering Computers 2018 - Digital Technology, Data And Devices (Paperback, 16th edition): Misty Vermaat, Steven Freund,... Discovering Computers 2018 - Digital Technology, Data And Devices (Paperback, 16th edition)
Misty Vermaat, Steven Freund, Susan Sebok, Jennifer Campbell, Mark Frydenberg
R1,355 R1,259 Discovery Miles 12 590 Save R96 (7%) View more sellers Ships in 10 - 15 working days

Teach students to maximize their use of mobile devices, make the most of online tools for collaboration and communication, and fully utilize today’s Internet capabilities with the latest edition of Discovering Computers 2018.

Introductory computing students see how technology skills assist in employment and advancing their careers. This edition highlights today’s most current technology trends and developments. Timely coverage now emphasizes web development, how to create a strong web presence, and take full advantage of latest Windows 10. The authors provide helpful suggestions for hands-on exercises, small group activities, and discussion topics that allow students to apply and demonstrate their understanding of each module. Self-assessments open each module and enable learners to focus their study and learn more in less time.

Discovering Computers 2018 presents the key content that students need for success, using an inviting approach that ensures understanding.

Programming Logic & Design (Paperback, 10th edition): Joyce Farrell Programming Logic & Design (Paperback, 10th edition)
Joyce Farrell
R800 Discovery Miles 8 000 Ships in 10 - 15 working days

Teach students the fundamental principles of developing structured program logic and prepare them for success with Joyce Farrell’s PROGRAMMING LOGIC AND DESIGN, 10th EDITION.

This text takes a comprehensive, language-independent approach to programming logic with an emphasis on modern conventions. Noted for its clear writing style, it avoids technical jargon while introducing universal programming concepts and ensuring strong programming style and logical thinking. It can be used in a stand-alone logic course as a prerequisite to a programming course, or as a companion to an introductory programming text.

Diverse and project-rich opportunities for learners to creatively apply logic to their program designs fill this edition. Chapters include illustrative figures, flowcharts and pseudocode to appeal to various learning styles, and they also include learning objectives, notes, short quizzes, summaries, key term lists, multiple-choice review and a variety of engaging exercises.

Database Systems - Design, Implementation & Management (Paperback, 14th edition): Carlos Coronel, Steven Morris Database Systems - Design, Implementation & Management (Paperback, 14th edition)
Carlos Coronel, Steven Morris
R1,484 R1,376 Discovery Miles 13 760 Save R108 (7%) Ships in 10 - 15 working days

Using a practical and easy-to-understand approach, DATABASE SYSTEMS: DESIGN, IMPLEMENTATION, & MANAGEMENT, 14th edition, equips students with a solid foundation in database design and implementation.

This market-leading resource provides in-depth coverage of database design, balancing theory and practice with engaging visuals. The 14th edition offers enhanced coverage of today's most commonly used database systems, including Oracle, MySQL, SQL Server and Microsoft Access.

Revised and reorganized chapters highlight SQL, big data analytics, NoSQL and data visualization technologies.

MIS (Paperback, 10th edition): Hossein Bidgoli MIS (Paperback, 10th edition)
Hossein Bidgoli
R1,244 R1,160 Discovery Miles 11 600 Save R84 (7%) Ships in 10 - 15 working days

Learn the principles of MIS as you explore the latest developments and industry trends with MIS 10. This practically focused approach helps you master foundational MIS concepts that will guide your career.

You examine the latest topics, such as cloud computing, AR/VR, quantum computing and blockchain, with the most current MIS title on the market. Have you ever wondered what you would have done as a company leader in a critical moment? With this edition's MindTap digital experience, you can strengthen your decision-making skills with "YouDecide" -- new interactive case studies that bridge technology and business strategy and position you as the decision maker. You can also examine possible career paths with new career connection videos.

Delve deeper into key course concepts with new concept videos and foundational case studies. In addition, MindTap's RSS feeds alert you to the latest advancements and trends for a stronger focus on today's real business world.

C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik C++ Programming - Program Design Including Data Structures (Paperback, 8th edition)
D. Malik
R1,751 R1,615 Discovery Miles 16 150 Save R136 (8%) Ships in 10 - 15 working days

Learn how to program with C++ using today's definitive choice for your first programming language experience -- C++ PROGRAMMING: PROGRAM DESIGN INCLUDING DATA STRUCTURES, 8E. D.S. Malik's time-tested, student-centered methodology incorporates a strong focus on problem-solving with full-code examples that vividly demonstrate the hows and whys of applying programming concepts and utilizing C++ to work through a problem. Thoroughly updated end-of-chapter exercises, more than 20 extensive new programming exercises, and numerous new examples drawn from Dr. Malik's experience further strengthen your understanding of problem solving and program design in this new edition. You review the important features of C++ 14 Standard with timely discussions that ensure this edition equips you to succeed in your CS1 course and beyond.

Data Communication and Computer Networks - A Business User's Approach (Paperback, 9th Edition): Jill West, Curt M. White Data Communication and Computer Networks - A Business User's Approach (Paperback, 9th Edition)
Jill West, Curt M. White
R1,440 R1,332 Discovery Miles 13 320 Save R108 (7%) Ships in 10 - 15 working days

Whether you are preparing for a career as a business manager, computer programmer or system designer, or you simply want to be an informed home computer user, West's DATA COMMUNICATIONS AND COMPUTER NETWORKS, 9th Edition provides an understanding of the essential features, operations and limitations of today's computer networks.

You learn about systems both on premises and in the cloud as the author balances technical concepts with practical, everyday issues. Updates address the latest developments and practices in cloud business principles and security techniques, software-defined networking, 5G, the Internet of Things, data analytics and supporting remote workforces.

This edition also covers the CompTIA’s Cloud Essentials+ exam to help you prepare for this vendor-neutral, business-oriented cloud computing certification. Hands-on learning features and thought-provoking content also guide you through virtual networking technologies, industry convergence and wired and wireless LAN technologies.

Dynamic Web Application Development Using PHP and MySQL (Paperback, New edition): David Parsons, Simon Stobart Dynamic Web Application Development Using PHP and MySQL (Paperback, New edition)
David Parsons, Simon Stobart
R1,341 R1,245 Discovery Miles 12 450 Save R96 (7%) Ships in 10 - 15 working days

Providing an end-to-end view of how modern web applications are built, Dynamic Web Application Development takes a cohesive approach to building a software architecture from core components. It tells a development story by taking you right through from analysis and design, learning the core technologies, and tying them together using standard tools patterns and frameworks without straying into detail or trying to cover too many alternatives. Using PHP scripting and the MySQL database management system, this is a contemporary and well targeted coverage of important areas of web application development including Ajax, , adaptive markup, web application frameworks, standards and conformance, accessibility and security issues. It shows you how to build functionality into a website using a variety of technologies. These will work as a basic framework from which you will be able to explore more challenging developments such as porting applications to mobile devices and including more Web 2.0 features. An ideal text for web programming courses, this book will help you whether you are a student or need to reskill and want a dependable and accessible self-study package.

Principles Of Business Information Systems (Paperback, 4th edition): Ralph Stair, George Reynolds, Thomas Chesney Principles Of Business Information Systems (Paperback, 4th edition)
Ralph Stair, George Reynolds, Thomas Chesney 1
R1,889 Discovery Miles 18 890 In Stock

The new fourth edition of Principles of Business Information Systems features new cases, new questions and assignments and the latest technologies, whilst retaining its comprehensive coverage of Information Systems issues.

It also boasts a wealth of real world examples from a broad range of countries and updated coverage of IT and technological issues, making it perfect for courses that prepare students for the modern corporate world.

Program Construction - Calculating Implementations from Specifications (Paperback): Roland Backhouse Program Construction - Calculating Implementations from Specifications (Paperback)
Roland Backhouse
R1,467 Discovery Miles 14 670 Ships in 12 - 19 working days

The ever-increasing dependence of our lives and livelihoods on the correct functioning of computer software means that logic and program correctness are core elements of all good computer science degrees. This book presents both these topics in one self-contained text.

The focus of the book is on "correct-by-construction" program design -- the discipline of calculating programs from their specifications. Modern, calculational logic is introduced in combination with key program construction principles, such as the assignment axiom, loop invariants and bound functions. This material is intertwined with motivational discussion, programming examples and challenging problem-solving exercises, bringing the book alive for its intended audience, undergraduates in computer science and mathematics, as well as professional programmers wishing to further develop their programming skills.

The book covers the elements of logic and program correctness that form the foundations of further study --- the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Estimating for Builders and Surveyors
R.D. Buchan, Eric Fleming, … Hardcover R4,342 Discovery Miles 43 420
The Routledge Companion to Performance…
Elaine Harris Hardcover R6,770 Discovery Miles 67 700
Accounting QuickStart Guide - The…
Josh Bauerle Cpa Paperback R620 R564 Discovery Miles 5 640
Fundamentals Of Cost And Management…
S.R. de Wet Paperback R1,687 R1,521 Discovery Miles 15 210
Memoirs Illustrating the History of…
Augustin Barruel Hardcover R1,633 Discovery Miles 16 330
Net Present Value and Risk Modelling for…
Martin Hopkinson Hardcover R5,823 Discovery Miles 58 230
Doing Recent History - On Privacy…
Claire Bond Potter, Renee C. Romano Hardcover R2,741 Discovery Miles 27 410
Research Handbook on Nonprofit…
Daniel Tinkelman, Linda M. Parsons Hardcover R6,324 Discovery Miles 63 240
How Books, Reading and Subscription…
Sterling Joseph Coleman Jr Paperback R1,398 Discovery Miles 13 980
Through the Eyes of the Mufti - The…
Zvi Elpeleg Paperback R739 Discovery Miles 7 390

 

Partners