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

Langue AnglaisAnglais
Livre Livre de poche
Livre Integrated Formal Methods Marie Farrell
Code Libristo: 49776569
Éditeurs Springer-Verlag GmbH, janvier 2026
This book constitutes the refereed proceedings of the 20th International Conference on Integrated Fo... Description détaillée
? points 165 b
68.04 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Ceci pourrait également vous intéresser

Kay Nielsen. East of the Sun and West of the Moon Noel Daniel / Livre Livre relié
common.buy 29.82 €
Hokuei: Masterpieces of Japanese Actor Prints John Fiorillo / Livre Livre relié
common.buy 57.83 €
Kids, Wait Till You Hear This! Liza Minnelli / Livre Livre de poche
common.buy 16.27 €
Homosexuality, Transidentity, and Islam Adi Bharat / Livre Livre de poche
common.buy 65.82 €
Manual For Submarine Mining / Livre Livre de poche
common.buy 17.18 €

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Formal Methods, IFM 2025, which took place in Paris, France, during November 19-21, 2025.

The 23 full papers presented together with 1 invited paper in this volume were carefully reviewed and selected from 69 submissions. The conference focuses on all aspects of  formal methods, including deductive verification, model checking, reachability analysis, model-based testing, synthesis, timing and stochastic modelling, cyber-physical systems, autonomous systems, security and blockchain.

 

 

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 Marie Farrell
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2026
Nombre de pages 536
EAN 9783032107930
ISBN 3032107938
Code Libristo 49776569
Éditeurs Springer-Verlag GmbH
Poids 803

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
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 ?