LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 Bpost point 7.99 Bpost 7.49 DPD point 3.49 GLS courier 4.49

Free delivery for orders over 69.99 euro.

Teaching Formal Methods

Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Language EnglishEnglish
Book Paperback
Book Teaching Formal Methods Jeremy Gibbons
Libristo code: 01650680
Publishers Springer, Berlin, September 2009
This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands i... Full description
? points 125 b
51.63
In stock at our supplier Shipping in 5-8 days

30-day return policy


Customers also purchased


Religionsphilosophie nach Schelling Christian Danz / E-book Adobe ePub DRM
common.buy 69.41
Tausendmal so viel Geld wie jetzt Juan S. Guse / Book Hardback
common.buy 19.90
gesprengte Institution nach Maud Mannoni Jennifer Sykora / Book Paperback
common.buy 42.74
Manet / Degas (Album) / Book Hardback
common.buy 20.60
Rencontres en français A2 / Book Paperback
common.buy 26.67
Monsieur Bergeret a Paris Anatole France / Book Hardback
common.buy 20.50
Die Kapitalisten des 21. Jahrhunderts Werner Rügemer / Book Paperback
common.buy 20.50
Systemische Bionik E. W. Udo Kuppers / E-book Adobe ePub DRM
common.buy 13.33
8 Minutes Par Jour Pour Maigrir Du Bas Dr Blanchemaison / Book Paperback
common.buy 16.97

This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009.§The 10 revised full papers presented together with an abstracts of invited talk were carefully reviewed and selected from 19 submissions. The papers presented explore the experiences of teaching FMs, both successful and unsuccessful, educational resources including the use of books, case studies and the internet, the education of weak and mathphobic students, the integration, or otherwise, of FMs into the curriculum, including, contributions to the definition of a Formal Methods Body of Knowledge (FMBOK), the advantages of FM-trained graduates in the workplace, changing attitudes towards FMs in students, academic staff and practitioners and the necessary mathematical background.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


The 13 Steps To Riches John Assaraf / Book Paperback
common.buy 15.75
Sex, Desire, and Taboo in South Asia Tulasi Acharya / Book Hardback
common.buy 131.46
PEARL KNOTTING...Warren's Way Warren Feld / Book Paperback
common.buy 15.75
Advances in Simulation and Digital Human Modeling Sudhakar L. Rajulu / Book Paperback
common.buy 154.20
Think Positive Alice Harman / Book Paperback
common.buy 9.69
Leunga: The Nighty Knights of Nightmares August D. Hunsaker / Book Paperback
common.buy 23.84
Panorama of Psychology Vilen Vardanyan / Book Paperback
common.buy 34.15
Computational Fluid Dynamics 2006 Herman Deconinck / Book Paperback
common.buy 308.10
Betrayal Knows My Name, Vol. 6 Hotaru Odagiri / Book Paperback
common.buy 10.60
Introduction to Canon Law Revised Edition James Coriden / Book Paperback
common.buy 55.67
Introduction to Biological Control A.P. Gutierrez / Book Paperback
common.buy 102.86
14th Information Retrieval Colloquium Tony McEnery / Book Paperback
common.buy 51.63
Shoulder Concepts 2013: Consensus and Concerns Guillermo Arce / Book Paperback
common.buy 100.64

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account