slides - Department of Computer Science
slides - Department of Computer Science
slides - Department of Computer Science
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Outline<br />
• A brief introduction to B and GSL.<br />
• Introduction to pGSL.<br />
• New pB construct .<br />
• Example <strong>of</strong> probabilistic Number.