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.
Outline<br />
• A brief introduction to B and GSL.<br />
• Introduction to pGSL.<br />
• New pB construct .<br />
• Example <strong>of</strong> probabilistic Number.