creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: teaching_resource
datestamp: 2010-07-06 10:18:59
lastmod: 2010-07-19 15:19:36
metadata_visibility: show
title: Pre-reading material for the Bucharest DEPLOY 2-day Course
ispublished: unpub
subjects: deploy_training_eventb
subjects: deploy_training_rodintool
subjects: examples
subjects: theory
full_text_status: public
citation:   Hoang, Thai Son   Pre-reading material for the Bucharest DEPLOY 2-day Course.  [Teaching Resource]    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/1/A_ch1.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/4/A_ch2.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/7/math1-single.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/10/math1-handout.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/13/evtb-slides.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/14/evtb-handout.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/19/po-slides.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/22/po-handout.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/25/search.zip
document_url: http://deploy-eprints.ecs.soton.ac.uk/234/28/instructions.pdf