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 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Verified Software. Theories, Tools and Experiments

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Langue AnglaisAnglais
Livre numérique Adobe ePub DRM
Éditeurs Springer, juillet 2024
This book constitutes the refereed proceedings of the 15th International Conference on Verified Soft... Description détaillée
? points 154 b
62.89 € TVA incluse
En stock Immédiatement téléchargeable

Les clients ont également acheté

MTM Záložka do knihy 3D - Koala šedá / Livre binding.
common.buy 10.09 €

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23-24, 2023.The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

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 Verified Software. Theories, Tools and Experiments
Auteur Andrew Reynolds, Serdar Tasiran
Langue Anglais
Reliure Livre numérique - Adobe ePub DRM
Date de parution 2024
EAN 9783031660641
Code Libristo 47698782
Éditeurs Springer

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel > Test et vérification de logiciel
Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Informatique > Informatique théorique
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

Ceci pourrait également vous intéresser

Regret in the life reflections of older adults Connie Isenberg / Livre Livre de poche
common.buy 57.39 €
Hidden In Sable Evelyn Darlene / Livre Livre de poche
common.buy 11.39 €
The Book of Common Prayer and Hymnal 1982 Combination: Black Leather Church Publishing / Livre Livre relié
common.buy 74.59 €
The Unknown. Peter T Raven / Livre Livre de poche
common.buy 6.49 €
My Book: Write Your Own Book Become an Author Karen Grace / Livre Livre de poche
common.buy 6.99 €
Wanderlust - Travel Stories Bose Creative Publishers / Livre Livre de poche
common.buy 13.19 €

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 ?