LIBRISTO
LIBROAMANTO
obbligatorio
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 Punto Poste 5.49 Punto Poste 5.49 Punto Bartolini 3.49 DHL 6.99 GLS 7.99

Spedizione gratuita per ordini superiori a 69,99 euro.

Software Engineering and Formal Methods

Lingua IngleseInglese
Libro In brossura
Libro Software Engineering and Formal Methods Elena Gómez-Martínez
Codice Libristo: 49776475
Casa editrice Springer-Verlag GmbH, dicembre 2025
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Descrizione completa
? points 195 b
79.49
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso


I clienti hanno acquistato anche


Капітан Кук. Книга друга Євгенія Чемерис / Libro In brossura
common.buy 15.89
Lulu & Bo toben im Herbstlaub Outi Kaden / Libro Rigido
common.buy 9.19
Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication / Libro In brossura
common.buy 13.19
Etazhi Molchat Doma / Audio CD audio
common.buy 19.39
Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan / Libro In brossura
common.buy 9.59
La Fiesta de las Frutas Doris Alvarez / Libro In brossura
common.buy 9.89
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Libro In brossura
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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Software Engineering and Formal Methods
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2025
Numero di pagine 261
EAN 9783032104434
ISBN 3032104432
Codice Libristo 49776475
Casa editrice Springer-Verlag GmbH
Peso 458
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche


Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Libro In brossura
common.buy 10.69
English Air D.E. Stevenson / Libro In brossura
common.buy 14.99
Wotan's Daughter Richard Davis / Libro In brossura
common.buy 33.79
RoseNote Jane Smith / Libro In brossura
common.buy 6.79
We Were Made for Each Other! Jiu Er / Libro Rigido
common.buy 14.99
Some Traditional plant extracts Salah El-Din Mohamed Labib / Libro In brossura
common.buy 85.59
Half-Hours with the Stars Richard Anthony Proctor / Libro In brossura
common.buy 12.29
Detection and Diagnostics of Plant Pathogens Peter J. M. Bonants / Libro In brossura
common.buy 192.99
Story of Vermont Stephen C. Trombulak / Libro In brossura
common.buy 22.79
Hepatobiliary System W. Taylor / Libro In brossura
common.buy 53.79
Keys to Successful Fasting Dr Rosetta Stamp / Libro In brossura
common.buy 16.39

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo