Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
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

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Капітан Кук. Книга друга Євгенія Чемерис / Libro In brossura
common.buy 15.89 €
Ramsés II era un fumeta (y Hitler se pasó con las anfetas) Sam Kelly / Libro Libro
common.buy 20.49 €
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Libro In brossura
common.buy 82.89 €
Aiden Melanie Moreland / Libro Rigido
common.buy 13.99 €
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 €
La guía de ejercicios de vivir del trading Alexander Elder / Libro In brossura
common.buy 47.59 €
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 €

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
Autore Elena Gómez-Martínez
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

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
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

The Works Of The British Poets V10 Part 1: With Prefaces, Biographical And Critical (1795) Robert Anderson / Libro In brossura
common.buy 38.69 €
Teachers and Teacher Education in Developing Countries Linda A. Dove / Libro Rigido
common.buy 156.89 €
Some Traditional plant extracts Salah El-Din Mohamed Labib / Libro In brossura
common.buy 85.59 €
Nuovi
Socialism, Internationalism, and Development in the Third World David Brydan / Libro In brossura
common.buy 48.19 €
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 €
Poetry of Edgar Allan Poe POE EDGAR ALLAN / Libro In brossura
common.buy 5.69 €
We Were Made for Each Other! Jiu Er / Libro Rigido
common.buy 17.39 €
NO LOVE, The Causes and Causal Resolution of Narcissism and Altruism Marion Kohn / Libro Rigido
common.buy 30.89 €
The Development of Psychoanalysis Sandor Ferenczi / Libro Rigido
common.buy 35.79 €
Lord Make It Plainer Part I: So I Can Understand James Edward / Libro In brossura
common.buy 12.59 €
Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Libro In brossura
common.buy 10.69 €
Half-Hours with the Stars Richard Anthony Proctor / Libro In brossura
common.buy 12.29 €
Expressions: Stories for the Heart and Soul Kimberly Riggins / Libro In brossura
common.buy 15.39 €
I migliori
Bell 47/H-13 Sioux Helicopter: Military and Civilian Use, 1946 to the Present Wayne Mutza / Libro Rigido
common.buy 15.99 €
Hepatobiliary System W. Taylor / Libro In brossura
common.buy 57.79 €
Keys to Successful Fasting Dr Rosetta Stamp / Libro In brossura
common.buy 16.39 €
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 €

Accesso

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

 
obbligatorio
obbligatorio
Password dimenticata

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

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?