Rigorous Software Development by Jorge Pinto
This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite.-
Modelling Computing Systems
-
Sets, Logic and Maths for Computing
-
Principles of Digital Image Processing
-
Introduction to Artificial Intelligence
-
A First Introduction to Quantum Computing and Information
-
Introduction to Data Science
-
A Practical Approach to Compiler Construction
-
A Concise Introduction to Languages and Machines
-
Fundamentals of Discrete Math for Computer Science
-
Data Structures and Algorithms with Python
-
A Beginners Guide to Python 3 Programming
-
Philosophical and Cultural Aspects of Computing
-
Principles of Data Mining
-
Pattern Recognition
-
Introduction to Deep Learning
-
Financial Software Engineering
-
Guide to Competitive Programming
-
Advanced Guide to Python 3 Programming
-
Introduction to Medical Image Analysis
-
Introduction to Video and Image Processing
-
Introduction to Software Quality
-
Multicore Programming Using the ParC Language
-
Introduction to HPC with MPI for Data Science
-
Computability and Complexity
-
Object-Oriented Programming Languages: Interpretation
-
Introduction to Parallel Computing
-
Concise Guide to Databases
-
Human-Centred Scientific Data Visualisation
-
Guide to Using Generative AI in Programming
-
Programming in HTML and PHP
-
Introduction to Cryptographic Definitions
-
Proofs and Algorithms
-
Introduction to Software Process Improvement
-
Sensing and Systems in Pervasive Computing
-
Autonomic Computing
-
OCaml Scientific Computing
-
Applied Logic for Computer Scientists
-
Basic Graph Theory
| SKU | Unavailable |
| ISBN 13 | |
| ISBN 10 | |
| Title | Rigorous Software Development |
| Author | Jorge Pinto |
| Series | |
| Condition | Unavailable |
| Binding Type | |
| Publisher | |
| Year published | |
| Number of pages | |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |
View All Editions
Filter
Applied Filters (0)
Sort by:
Loading editions...