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
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 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

Langue AnglaisAnglais
Livre numérique Adobe ePub DRM
Livre numérique Integrated Formal Methods Brijesh Dongol
Code Libristo: 41009969
Éditeurs Springer, novembre 2020
This book constitutes the refereed proceedings of the 16th International Conference on Integrated Fo... Description détaillée
? points 146 b
60.38 €
En stock Immédiatement téléchargeable

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
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 Integrated Formal Methods
Auteur Brijesh Dongol, Elena Troubitsyna
Langue Anglais
Reliure Livre numérique - Adobe ePub DRM
Date de parution 2020
EAN 9783030634612
Code Libristo 41009969
Éditeurs Springer

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Informatique > Intelligence artificielle > Langage naturel et traduction automatique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Informatique > Analyse et conception de systèmes
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

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 ?