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 €
phone Contact phoneComment faire ses achats

Software Engineering and Formal Methods

Langue AnglaisAnglais
Livre Livre de poche
Livre Software Engineering and Formal Methods Elena Gómez-Martínez
Code Libristo: 49776475
Éditeurs Springer-Verlag GmbH, décembre 2025
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Description détaillée
? points 195 b
79.49 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Politique de retour sous 30 jours

Les clients ont également acheté

Капітан Кук. Книга друга Євгенія Чемерис / Livre Livre de poche
common.buy 15.89 €
Ramsés II era un fumeta (y Hitler se pasó con las anfetas) Sam Kelly / Livre Livre
common.buy 20.49 €
Lulu & Bo toben im Herbstlaub Outi Kaden / Livre Livre relié
common.buy 10.00 €
Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication / Livre Livre de poche
common.buy 13.19 €
Etazhi Molchat Doma / Audio CD Audio
common.buy 19.39 €
Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan / Livre Livre de poche
common.buy 9.59 €
La Fiesta de las Frutas Doris Alvarez / Livre Livre de poche
common.buy 9.89 €
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Livre Livre de poche
common.buy 82.89 €

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10 14, 2025.

The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.

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 Software Engineering and Formal Methods
Auteur Elena Gómez-Martínez
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2025
Nombre de pages 261
EAN 9783032104434
ISBN 3032104432
Code Libristo 49776475
Éditeurs Springer-Verlag GmbH
Poids 458

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

Ceci pourrait également vous intéresser

Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Livre Livre de poche
common.buy 10.69 €
English Air D.E. Stevenson / Livre Livre de poche
common.buy 14.99 €
Wotan's Daughter Richard Davis / Livre Livre de poche
common.buy 33.79 €
Nouveauté
Socialism, Internationalism, and Development in the Third World David Brydan / Livre Livre de poche
common.buy 48.19 €
RoseNote Jane Smith / Livre Livre de poche
common.buy 6.79 €
We Were Made for Each Other! Jiu Er / Livre Livre relié
common.buy 14.99 €
NO LOVE, The Causes and Causal Resolution of Narcissism and Altruism Marion Kohn / Livre Livre relié
common.buy 30.89 €
Some Traditional plant extracts Salah El-Din Mohamed Labib / Livre Livre de poche
common.buy 85.59 €
Half-Hours with the Stars Richard Anthony Proctor / Livre Livre de poche
common.buy 12.29 €
Nouveauté
Teachers and Teacher Education in Developing Countries Linda A. Dove / Livre Livre relié
common.buy 156.89 €
Detection and Diagnostics of Plant Pathogens Peter J. M. Bonants / Livre Livre de poche
common.buy 192.99 €
Story of Vermont Stephen C. Trombulak / Livre Livre de poche
common.buy 24.19 €
Hepatobiliary System W. Taylor / Livre Livre de poche
common.buy 53.79 €
Keys to Successful Fasting Dr Rosetta Stamp / Livre Livre de poche
common.buy 16.39 €
The Works Of The British Poets V10 Part 1: With Prefaces, Biographical And Critical (1795) Robert Anderson / Livre Livre de poche
common.buy 38.69 €

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 ?