Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Teaching Formal Methods

Name: Teaching Formal Methods
Brand: Springer, Berlin
SKU: 01650680
Price: 45.49 EUR
Availability: InStock
Author: Jeremy Gibbons
ISBN: 9783642049118

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

Jeremy Gibbons

Jose Nuno Oliveira

Lingua

Inglese

Libro In brossura

Codice Libristo: 01650680

Casa editrice Springer, Berlin, settembre 2009

This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands i... Descrizione completa

Codice Libristo: 01650680

111 b

45.49 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Functional Analysis, Holomorphy, and Approximation Theory S. Machado

In brossura

45.49 €

Religionsphilosophie nach Schelling Christian Danz

Adobe ePub DRM

59.19 €

Все еще впереди Мариана Запата

In brossura

17.09 €

Tausendmal so viel Geld wie jetzt Juan S. Guse

Rigido

17.29 €

77 Tricks zur Steigerung der Staatseinnahmen ristoteles

In brossura

3.39 €

Sambal nerathu theyvathai / சாம்பல் நிறத்து தேவ& Thottarayaswamy

In brossura

15.59 €

Manet / Degas (Album)

Rigido

16.59 €

Marin Montagut 100 Writing & Crafting Papers Marin Montagut

In brossura

21.49 €

Rencontres en français A2

In brossura

23.69 €

gesprengte Institution nach Maud Mannoni Jennifer Sykora

In brossura

37.29 €

Découvrir le principe alphabétique - Cahier 2 - les sons et les lettres Richard Assuied

In brossura

5.69 €

Monsieur Bergeret a Paris Anatole France

Rigido

17.99 €

Aciklamali Kolay Arapca Cemal Muhtar

In brossura

12.49 €

Die Kapitalisten des 21. Jahrhunderts Werner Rügemer

In brossura

17.99 €

Systemische Bionik E. W. Udo Kuppers

Adobe ePub DRM

11.39 €

Chateau de Marais, Comedie Broussin-L-F

In brossura

10.89 €

8 Minutes Par Jour Pour Maigrir Du Bas Dr Blanchemaison

In brossura

13.59 €

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.