Rigorous Software Development: An Introduction to Program Verification

Name: ThinkEDU Rigorous Software Development: An Introduction to Program Verification - Rigorous Software Development: An Introduction to Program Verification
Brand: ThinkEDU
SKU: 59498877911326
Price: 64.99 USD
Availability: InStock

4.5 (1,234)

Sold 100+ last 30 days

20% off first order

$64.99

Quantity

Color

Black

Quantity

Rigorous Software Development eBook – Formal Program Verification and Logic Architecture Guide
Supercharge your local mathematical verification velocity and eliminate runtime code compilation bottlenecks during intensive software development marathons using the advanced, formal proof frameworks inside the Rigorous Software Develop

Exclusive offer available

ThinkEDU

4.2 (220)

Product description loading

This is the product description text that will appear here.

What Every Engineer Should Know about MATLAB and Simulink

Exclusive offer available

ThinkEDU

What Every Engineer Should Know about MATLAB and Simulink

$63.80

Exclusive offer available

ThinkEDU

MATLAB Programming for Engineers, 5th Edition

$102.99

Introduction to Python for Science and Engineering

Exclusive offer available

ThinkEDU

Introduction to Python for Science and Engineering

$73.99

Sagamore-Venture Publishing

Therapeutic Recreation Programming - eBook

$50.00

Sagamore-Venture Publishing

Programming for Parks, Recreation, and Leisure Services, 4th ed. - eBook

$72.00

High Score Comics

C++ Programming From Problem Analysis to Program Design 8th Edition

$49.00

GIFTSQUALITY LTD

Engineering Software Products An Introduction To Modern Software Engineering

$17.99

Conducting Qualitative Research on and with College Students

Exclusive offer available

ThinkEDU

Conducting Qualitative Research on and with College Students

$59.99

Developing MATLAB Comprehensive Simulation for 5G/6G Wireless Communications

Exclusive offer available

ThinkEDU

Developing MATLAB Comprehensive Simulation for 5G/6G Wireless Communications

$107.40

Exclusive offer available

ThinkEDU

A Simple Introduction to Python

$19.25

GIFTSQUALITY LTD

C Programming From Problem Analysis To Program Design 8Th Edition

$17.99

GIFTSQUALITY LTD

(eBook PDF) (With question bank and answers)Essentials of Life-Span Development 5th Edition by John Santrock

$13.99

Microsoft® Flight Simulator as a Training Aid

Exclusive offer available

ThinkEDU

Microsoft® Flight Simulator as a Training Aid

$24.95

Exclusive offer available

ThinkEDU

Data Mining with SPSS Modeler

$59.40

Sagamore-Venture Publishing

Youth Development Principles and Practices in Out-of-School Time Settings, 2nd ed. - eBook

$70.00

Exclusive offer available

ThinkEDU

Science and Technology

$20.99

Exclusive offer available

ThinkEDU

Autodesk® Revit® 2024 Architecture

$69.99

Sustainable Development through Machine Learning, AI and IoT

Exclusive offer available

ThinkEDU

Sustainable Development through Machine Learning, AI and IoT

$99.00

Introduction to AI and Generative AI in Cybersecurity

Exclusive offer available

ThinkEDU

Introduction to AI and Generative AI in Cybersecurity

$5.17

Exclusive offer available

ThinkEDU

Living by Chemistry

$102.99

Exclusive offer available

ThinkEDU

MSP430 Microcontroller Lab Manual

$30.00

GIFTSQUALITY LTD

Introduction to Logic Design, 3rd Edition - 3rd Edition

$17.99

Practical IoT Edge Computing with Python

Exclusive offer available

ThinkEDU

Practical IoT Edge Computing with Python

$19.95

GIFTSQUALITY LTD

(eBook PDF) Think Critically 3rd Edition

$17.99

Design Integration Using Autodesk Revit 2027: Architecture, Structure and MEP

Exclusive offer available

ThinkEDU

Design Integration Using Autodesk Revit 2027: Architecture, Structure and MEP

$67.00

GIFTSQUALITY LTD

(eBook PDF) Software Engineering 10th Edition by Ian Sommerville

$12.99

GIFTSQUALITY LTD

(eBook PDF) Single Variable Essential Calculus 2nd Edition by James Stewart

$18.99

Using AI to Achieve the Sustainable Development Goals (SDGs)

Exclusive offer available

ThinkEDU

Using AI to Achieve the Sustainable Development Goals (SDGs)

$245.00

Sagamore-Venture Publishing

Beneficial Risks - eBook

$55.00

Ingram Academic & Professional

Python Practice Lab

$29.95

MATLAB for Engineering and the Life Sciences

Exclusive offer available

ThinkEDU

MATLAB for Engineering and the Life Sciences

$49.99

Exclusive offer available

ThinkEDU

Cybersecurity Awareness

$19.99

Exclusive offer available

ThinkEDU

Understanding Your College Experience

$65.99

Practical Detection Engineering with Sigma

Exclusive offer available

ThinkEDU

Practical Detection Engineering with Sigma

$24.95

Connect Online Access for Sustainability Reporting and Disclosures

Exclusive offer available

ThinkEDU

Connect Online Access for Sustainability Reporting and Disclosures

$117.00

GIFTSQUALITY LTD

(eBook PDF) Engineering Software Products An Introduction to Modern Software Engineering by Ian Sommerville

$17.99

GIFTSQUALITY LTD

Fundamentals of Digital Logic with Verilog Design - 3rd Edition

$17.99

Transforming Education With Data Science in the AI Era

Exclusive offer available

ThinkEDU

Transforming Education With Data Science in the AI Era

$190.00

Sagamore-Venture Publishing

Case Studies in Therapeutic Recreation - eBook

$58.00

High Score Comics

Program Evaluation Embedding Evaluation Into Program Design and Development by Susan P. Giancola 2nd Edition ISBN 9781071918289

$49.00

Exclusive offer available

ThinkEDU

Developing AI Literacy in Students

$150.00

GIFTSQUALITY LTD

(eBook PDF) Computer Organization and Design The Hardware Software Interface ARM Edition

$13.99

Application of Numerical Methods in Engineering Problems using MATLAB®

Exclusive offer available

ThinkEDU

Application of Numerical Methods in Engineering Problems using MATLAB®

$140.00

GIFTSQUALITY LTD

(eBook PDF) Fundamentals of Logic Design 7th Enhanced Edition by Charles H. Roth

$16.99

Sagamore-Venture Publishing

Problem Solving in Recreation and Parks, 5th ed. - eBook

$51.00

Intelligent Cybersecurity and Resilience for Critical Industries: Challenges and Applications

Exclusive offer available

ThinkEDU

Intelligent Cybersecurity and Resilience for Critical Industries: Challenges and Applications

$140.00

Python for Engineering and Scientific Computing

Exclusive offer available

ThinkEDU

Python for Engineering and Scientific Computing

$54.99

Introduction to Computational Models with Python

Exclusive offer available

ThinkEDU

Introduction to Computational Models with Python

$63.99

Exclusive offer available

ThinkEDU

Lab Results Made Easy

$31.87

Sagamore-Venture Publishing

Therapeutic Recreation Program Design, 6th Ed - eBook

$81.00

Exclusive offer available

ThinkEDU

Helping College Students Write

$48.99

Student Workbook for Anatomy, Physiology, & Disease

Exclusive offer available

ThinkEDU

Student Workbook for Anatomy, Physiology, & Disease 4th Edition

$89.99

College Student Mental Health and Wellness

Exclusive offer available

ThinkEDU

College Student Mental Health and Wellness

$50.00

GIFTSQUALITY LTD

(eBook PDF) The Miniature Guide to Critical Thinking Concepts and Tools 8th Edition

$17.99

GIFTSQUALITY LTD

(eBook PDF) Handbook of Practical Program Evaluation 4th Edition

$18.98

Residential Design Using Autodesk Revit 2026

Exclusive offer available

ThinkEDU

Residential Design Using Autodesk Revit 2026

$62.00

Ingram Academic & Professional

Essential Discrete Mathematics for Computer Science

$99.95

Fourier Transform and Its Applications Using Microsoft EXCEL®

Exclusive offer available

ThinkEDU

Fourier Transform and Its Applications Using Microsoft EXCEL®

$43.96

GIFTSQUALITY LTD

(eBook PDF) Critical Thinking 13th Edition by Richard B. Parker

$17.99

GIFTSQUALITY LTD

Invitation To Computer Science 8Th Edition

$17.99

A Philosophy of Software Design, 2nd Edition,Used

Exclusive offer available

Ergodebooks

A Philosophy of Software Design, 2nd Edition - Essential Insights for Developers

$31.75

Exclusive offer available

ThinkEDU

High Structure Course Design

$29.99

Exclusive offer available

ThinkEDU

Test-Driven Development with Python

$67.99

GIFTSQUALITY LTD

(eBook PDF) Thinking Critically 12th Edition

$17.99

Exclusive offer available

ThinkEDU

Python for MBAs

$34.99

Sagamore-Venture Publishing

Adventure Programming and Travel for the 21st Century - eBook

$68.00

Exclusive offer available

ThinkEDU

Multimedia in the College Classroom

$45.99

Exclusive offer available

ThinkEDU

MATLAB for Psychologists

$109.00

AI-Powered Cybersecurity for Banking and Finance

Exclusive offer available

ThinkEDU

AI-Powered Cybersecurity for Banking and Finance

$80.99

Sagamore-Venture Publishing

Recreation Programming 8th ed. - eBook

$93.00

GIFTSQUALITY LTD

Software Engineering A Practitioners Approach 9th Edition by Roger Pressman

$17.99

Connect for Biology: Concepts and Investigations and Sharpen Companion

Exclusive offer available

ThinkEDU

Connect for Biology: Concepts and Investigations and Sharpen Companion

$131.91

Using Microsoft Excel for Social Research

Exclusive offer available

ThinkEDU

Using Microsoft Excel for Social Research

$41.00

Elektor

Logic Analyzers in Practice (E-book)

$35.00

Institute of General Semantics Store

Sensible Thinking 3: The Adventure Continues (epub)

$9.99

Introductory Biology Laboratory Manual: 2025 Release

Exclusive offer available

ThinkEDU

Introductory Biology Laboratory Manual: 2025 Release

$98.75

Practical Construction Planning and Control Using Microsoft Project

Exclusive offer available

ThinkEDU

Practical Construction Planning and Control Using Microsoft Project

$104.99

FINANCIAL REPORTING AND ANALYSIS: 2025 RELEASE

Exclusive offer available

ThinkEDU

Financial Reporting & Analysis: 2025 Release

$98.75

Machine Learning and Python for Human Behavior, Emotion, and Health Status Analysis

Exclusive offer available

ThinkEDU

Machine Learning and Python for Human Behavior, Emotion, and Health Status Analysis

$115.99

An Introduction to Electrical Engineering with Lab Activities

Exclusive offer available

ThinkEDU

An Introduction to Electrical Engineering with Lab Activities

$84.47

Exclusive offer available

ThinkEDU

AI and Writing, 2nd Edition

$23.36

Exclusive offer available

ThinkEDU

The AI Productivity Blueprint

$2.99

AI, Cybersecurity and Data Science for Drone and Unmanned Aerial Vehicles

Exclusive offer available

ThinkEDU

AI, Cybersecurity and Data Science for Drone and Unmanned Aerial Vehicles

$225.00

GIFTSQUALITY LTD

(eBook PDF) Essentials of Life-Span Development Fourth 4th Edition by John Santrock

$13.99

Ultimate AI Agent Development with Semantic Kernel

Exclusive offer available

ThinkEDU

Ultimate AI Agent Development with Semantic Kernel

$24.95

Promoting Meaningful Student-Faculty Experiences in Graduate Education

Exclusive offer available

ThinkEDU

Promoting Meaningful Student-Faculty Experiences in Graduate Education

$55.99

Mastering the Skills for College & Career Success

Exclusive offer available

ThinkEDU

Mastering the Skills for College & Career Success

$149.00

Exclusive offer available

ThinkEDU

AI for Gig Workers

$18.00

GIFTSQUALITY LTD

Introduction to Logic - 3rd Edition

$17.99

Specialist Courseware

M55337A Introduction to Programming

$122.00

Rigorous Software Development: An Introduction to Program Verification

Description

Delivery & Returns

ThinkEDU

You might also like

What Every Engineer Should Know about MATLAB and Simulink

MATLAB Programming for Engineers, 5th Edition

Introduction to Python for Science and Engineering

Therapeutic Recreation Programming - eBook

Programming for Parks, Recreation, and Leisure Services, 4th ed. - eBook

C++ Programming From Problem Analysis to Program Design 8th Edition

Engineering Software Products An Introduction To Modern Software Engineering

Conducting Qualitative Research on and with College Students

Developing MATLAB Comprehensive Simulation for 5G/6G Wireless Communications

A Simple Introduction to Python

C Programming From Problem Analysis To Program Design 8Th Edition

(eBook PDF) (With question bank and answers)Essentials of Life-Span Development 5th Edition by John Santrock

Microsoft® Flight Simulator as a Training Aid

Data Mining with SPSS Modeler

Youth Development Principles and Practices in Out-of-School Time Settings, 2nd ed. - eBook

Science and Technology

Autodesk® Revit® 2024 Architecture

Sustainable Development through Machine Learning, AI and IoT

Introduction to AI and Generative AI in Cybersecurity

Living by Chemistry

MSP430 Microcontroller Lab Manual

Introduction to Logic Design, 3rd Edition - 3rd Edition

Practical IoT Edge Computing with Python

(eBook PDF) Think Critically 3rd Edition

Design Integration Using Autodesk Revit 2027: Architecture, Structure and MEP

(eBook PDF) Software Engineering 10th Edition by Ian Sommerville

(eBook PDF) Single Variable Essential Calculus 2nd Edition by James Stewart

Using AI to Achieve the Sustainable Development Goals (SDGs)

Beneficial Risks - eBook

Python Practice Lab

MATLAB for Engineering and the Life Sciences

Cybersecurity Awareness

Understanding Your College Experience

Practical Detection Engineering with Sigma

Connect Online Access for Sustainability Reporting and Disclosures

(eBook PDF) Engineering Software Products An Introduction to Modern Software Engineering by Ian Sommerville

Fundamentals of Digital Logic with Verilog Design - 3rd Edition

Transforming Education With Data Science in the AI Era

Case Studies in Therapeutic Recreation - eBook

Program Evaluation Embedding Evaluation Into Program Design and Development by Susan P. Giancola 2nd Edition ISBN 9781071918289

Developing AI Literacy in Students

(eBook PDF) Computer Organization and Design The Hardware Software Interface ARM Edition

Application of Numerical Methods in Engineering Problems using MATLAB®

(eBook PDF) Fundamentals of Logic Design 7th Enhanced Edition by Charles H. Roth

Problem Solving in Recreation and Parks, 5th ed. - eBook

Intelligent Cybersecurity and Resilience for Critical Industries: Challenges and Applications

Python for Engineering and Scientific Computing

Introduction to Computational Models with Python

Lab Results Made Easy

Therapeutic Recreation Program Design, 6th Ed - eBook

Helping College Students Write

Student Workbook for Anatomy, Physiology, & Disease 4th Edition

College Student Mental Health and Wellness

(eBook PDF) The Miniature Guide to Critical Thinking Concepts and Tools 8th Edition

(eBook PDF) Handbook of Practical Program Evaluation 4th Edition

Residential Design Using Autodesk Revit 2026

Essential Discrete Mathematics for Computer Science

Fourier Transform and Its Applications Using Microsoft EXCEL®

(eBook PDF) Critical Thinking 13th Edition by Richard B. Parker

Invitation To Computer Science 8Th Edition

A Philosophy of Software Design, 2nd Edition - Essential Insights for Developers

High Structure Course Design

Test-Driven Development with Python

(eBook PDF) Thinking Critically 12th Edition

Python for MBAs

Adventure Programming and Travel for the 21st Century - eBook

Multimedia in the College Classroom

MATLAB for Psychologists

AI-Powered Cybersecurity for Banking and Finance

Recreation Programming 8th ed. - eBook

Software Engineering A Practitioners Approach 9th Edition by Roger Pressman

Connect for Biology: Concepts and Investigations and Sharpen Companion

Using Microsoft Excel for Social Research

Logic Analyzers in Practice (E-book)

Sensible Thinking 3: The Adventure Continues (epub)