Livraison gratuite à partir de 69.99 euros.
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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 €
Point Bpost 7.99 €
Bpost 7.49 €
Point DPD 3.49 €
Service de messagerie GLS 4.99 €
Contact
Comment faire ses achats
Assistance
Livraison
Coursier DPD 5.99 €
Point Bpost 7.99 €
Bpost 7.49 €
Point DPD 3.49 €
Service de messagerie GLS 4.99 €
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Guide d'achat
Mon compte
▸
Vide :-(
0
Livraison gratuite à partir de 69.99 euros.
Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Langue
Anglais
Anglais
Livre numérique
Adobe ePub DRM
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMT...
Description détaillée
Code Libristo: 41002589
?
146 b
146 b
60.38
€
En stock
Immédiatement téléchargeable
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
Actrice
&
Polyglotte
EWA KASP
pro
Regarder la vidéo
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.
À propos du livre
Nom complet
Formal Methods Teaching
Auteur
Brijesh Dongol, Luigia Petre, Graeme Smith
Langue
Anglais
Anglais
Reliure
Livre numérique - Adobe ePub DRM
Date de parution
2019
EAN
9783030324414
Code Libristo
41002589
Éditeurs
Springer
Catégories
Informatique et technologies de l’information
>
Programmation informatique / génie logiciel
>
Algorithmes et structures des données
Informatique et technologies de l’information
>
Programmation informatique / génie logiciel
>
Programmation et langage de script : généralités
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
Conseiller littéraire Libroamiko
En utilisant ce chat, vous communiquez avec une intelligence artificielle générative. En l'utilisant, vous acceptez également le traitement des données personnelles.
Bonjour ! Je suis Libroamiko, votre conseiller littéraire.
Comment puis-je vous aider ?
Bonjour, je suis Libroamiko, puis-je vous aider ?