Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Teaching Formal Methods

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Teaching Formal Methods Jeremy Gibbons
Code Libristo: 01650680
Éditeurs Springer, Berlin, septembre 2009
This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands i... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Functional Analysis, Holomorphy, and Approximation Theory S. Machado / Livre Livre de poche
common.buy 53.79 €
Rencontres en français A2 / Livre Livre de poche
common.buy 27.69 €
Religionsphilosophie nach Schelling Christian Danz / Livre numérique Adobe ePub DRM
common.buy 73.19 €
Tausendmal so viel Geld wie jetzt Juan S. Guse / Livre Livre relié
common.buy 23.00 €
8 Minutes Par Jour Pour Maigrir Du Bas Dr Blanchemaison / Livre Livre de poche
common.buy 17.59 €
Sambal nerathu theyvathai / சாம்பல் நிறத்து தேவ& Thottarayaswamy / Livre Livre de poche
common.buy 19.09 €
Manet / Degas (Album) / Livre Livre relié
common.buy 21.29 €
gesprengte Institution nach Maud Mannoni Jennifer Sykora / Livre Livre de poche
common.buy 47.95 €
Monsieur Bergeret a Paris Anatole France / Livre Livre relié
common.buy 21.49 €
Systemische Bionik E. W. Udo Kuppers / Livre numérique Adobe ePub DRM
common.buy 14.09 €
Aciklamali Kolay Arapca Cemal Muhtar / Livre Livre de poche
common.buy 14.69 €
Die Kapitalisten des 21. Jahrhunderts Werner Rügemer / Livre Livre de poche
common.buy 22.90 €

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.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Teaching Formal Methods
Auteur Jeremy Gibbons, Jose Nuno Oliveira
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2009
Nombre de pages 176
EAN 9783642049118
ISBN 3642049117
Code Libristo 01650680
Éditeurs Springer, Berlin
Poids 302
Dimensions 155 x 235 x 13

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Systèmes d’exploitation
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Computational Fluid Dynamics 2006 Herman Deconinck / Livre Livre de poche
common.buy 321.39 €
The 13 Steps To Riches John Assaraf / Livre Livre de poche
common.buy 16.49 €
Sex, Desire, and Taboo in South Asia Tulasi Acharya / Livre Livre relié
common.buy 124.79 €
Decoding the Night Sky: Ancient Babylonian Astrology Kari Hohne / Livre Livre de poche
common.buy 15.59 €
PEARL KNOTTING...Warren's Way Warren Feld / Livre Livre de poche
common.buy 16.49 €
Bayesian Inference and Computation in Reliability and Survival Analysis Yuhlong Lio / Livre Livre relié
common.buy 159.89 €
Advances in Simulation and Digital Human Modeling Sudhakar L. Rajulu / Livre Livre de poche
common.buy 160.89 €
Think Positive Alice Harman / Livre Livre de poche
common.buy 10.09 €
Didn't I Say to Make My Abilities Average in the Next Life?! (Light Novel) Vol. 11 Itsuki Akata / Livre Livre de poche
common.buy 12.49 €
Leunga: The Nighty Knights of Nightmares August D. Hunsaker / Livre Livre de poche
common.buy 24.79 €
Old and New Gamma and Psi functions Algorithms and their Ramifications Dimitris Karayannakis / Livre Livre de poche
common.buy 25.89 €
Learn Spanish News Vol.2: English & Spanish Nik Marcel / Livre Livre de poche
common.buy 9.89 €
Continuations of the Old French "Perceval" of Chretien de Troyes, Volume 2 William Roach / Livre Livre relié
common.buy 93.79 €
Panorama of Psychology Vilen Vardanyan / Livre Livre de poche
common.buy 35.39 €
In My Father Arms Tillie L Hogans / Livre Livre relié
common.buy 27.19 €
Pediatric Nutrition in Chronic Diseases and Developmental Di Ekvall / Livre Livre relié
common.buy 114.79 €
Introduction to Canon Law Revised Edition James Coriden / Livre Livre de poche
common.buy 57.79 €
Betrayal Knows My Name, Vol. 6 Hotaru Odagiri / Livre Livre de poche
common.buy 11.19 €
Computational Intelligence, Theory and Applications Bernd Reusch / Livre Livre de poche
common.buy 349.89 €
Shoulder Concepts 2013: Consensus and Concerns Guillermo Arce / Livre Livre de poche
common.buy 105.09 €
Differential Equations and Linear Algebra Stephen Goode & Scott Annin / Livre Livre de poche
common.buy 108.39 €
14th Information Retrieval Colloquium Tony McEnery / Livre Livre de poche
common.buy 53.79 €
Freedom from Wealth: The Experience and Strategies to Help Protect and Grow Private Wealth Charles Lowenhaupt / Livre Livre relié
common.buy 55.49 €
Feminism in Popular Culture Joanne Hollows / Livre Livre de poche
common.buy 47.99 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?