slides - Department of Computer Science
slides - Department of Computer Science
slides - Department of Computer Science
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Introduction to B and GSL<br />
• B-Method is a systematic development <strong>of</strong> large s<strong>of</strong>tware systems from<br />
reusable fragments.