LIBRISTO
LIBROAMANTO
verplicht
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 DHL koeriersdienst 5.49 GLS koerier 4.99 DPD-punt 3.99

Gratis verzending vanaf 59,99 euro.

Software Engineering and Formal Methods

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Software Engineering and Formal Methods Elena Gómez-Martínez
Libristo-code: 49776475
Uitgeverij Springer-Verlag GmbH, december 2025
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Volledige beschrijving
? points 185 b
76.28
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen


Klanten kochten ook


Капітан Кук. Книга друга Євгенія Чемерис / Boek Gebonden (paperback)
common.buy 15.27
Lulu & Bo toben im Herbstlaub Outi Kaden / Boek Gebonden (harde band)
common.buy 8.79
Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication / Boek Gebonden (paperback)
common.buy 12.74
Etazhi Molchat Doma / Audio Audio cd
common.buy 18.71
Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan / Boek Gebonden (paperback)
common.buy 9.20
La Fiesta de las Frutas Doris Alvarez / Boek Gebonden (paperback)
common.buy 9.50
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Boek Gebonden (paperback)
common.buy 79.21

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Software Engineering and Formal Methods
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2025
Aantal pagina's 261
EAN 9783032104434
ISBN 3032104432
Libristo-code 49776475
Gewicht 458
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant


Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Boek Gebonden (paperback)
common.buy 10.31
English Air D.E. Stevenson / Boek Gebonden (paperback)
common.buy 14.26
Wotan's Daughter Richard Davis / Boek Gebonden (paperback)
common.buy 32.67
RoseNote Jane Smith / Boek Gebonden (paperback)
common.buy 6.57
We Were Made for Each Other! Jiu Er / Boek Gebonden (harde band)
common.buy 14.26
Some Traditional plant extracts Salah El-Din Mohamed Labib / Boek Gebonden (paperback)
common.buy 81.84
Half-Hours with the Stars Richard Anthony Proctor / Boek Gebonden (paperback)
common.buy 11.73
Nieuw
Teachers and Teacher Education in Developing Countries Linda A. Dove / Boek Gebonden (harde band)
common.buy 152.06
Detection and Diagnostics of Plant Pathogens Peter J. M. Bonants / Boek Gebonden (paperback)
common.buy 185.15
Story of Vermont Stephen C. Trombulak / Boek Gebonden (paperback)
common.buy 24.47
Hepatobiliary System W. Taylor / Boek Gebonden (paperback)
common.buy 51.69
Keys to Successful Fasting Dr Rosetta Stamp / Boek Gebonden (paperback)
common.buy 15.77

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken