
Rigorous Software Development An Introduction to Program Verification Second Edition | 5.55 MB
Title: Rigorous Software Development
Author: José Bacelar Almeida · Maria João Frade · Jorge Sousa Pinto · Simão MelodeSousa
Category: Nonfiction, Science & Nature, Mathematics, Algebra, Computers, Advanced Computing, Computer Science, Programming, Software Development
Language: English | 302 Pages | ISBN: 9781447175582
Read More



