LIBRISTO
LIBROAMANTO
obvezno
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 Pošta 4.99 Overseas 4.99 Box Now 4.49 GLS 4.99 DPD točka 3.49 GLS paketomat 3.99

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Software Engineering and Formal Methods

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Software Engineering and Formal Methods Elena Gómez-Martínez
Libristo kod: 49776475
Nakladnici Springer-Verlag GmbH, prosinac 2025
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Cijeli opis
? points 185 b
76.18
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda


Kupci su kupili i


Капітан Кук. Книга друга Євгенія Чемерис / Knjiga Meki uvez
common.buy 15.25
Lulu & Bo toben im Herbstlaub Outi Kaden / Knjiga Tvrdi uvez
common.buy 8.78
Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication / Knjiga Meki uvez
common.buy 12.72
Etazhi Molchat Doma / Audio Audio CD
common.buy 18.68
Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan / Knjiga Meki uvez
common.buy 9.19
La Fiesta de las Frutas Doris Alvarez / Knjiga Meki uvez
common.buy 9.49
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Knjiga Meki uvez
common.buy 79.11

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Software Engineering and Formal Methods
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2025
Broj stranica 261
EAN 9783032104434
ISBN 3032104432
Libristo kod 49776475
Težina 458
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i


Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Knjiga Meki uvez
common.buy 10.30
English Air D.E. Stevenson / Knjiga Meki uvez
common.buy 14.24
Wotan's Daughter Richard Davis / Knjiga Meki uvez
common.buy 32.63
RoseNote Jane Smith / Knjiga Meki uvez
common.buy 6.56
We Were Made for Each Other! Jiu Er / Knjiga Tvrdi uvez
common.buy 14.24
Some Traditional plant extracts Salah El-Din Mohamed Labib / Knjiga Meki uvez
common.buy 81.74
Half-Hours with the Stars Richard Anthony Proctor / Knjiga Meki uvez
common.buy 11.71
Detection and Diagnostics of Plant Pathogens Peter J. M. Bonants / Knjiga Meki uvez
common.buy 184.92
Story of Vermont Stephen C. Trombulak / Knjiga Meki uvez
common.buy 21.72
Hepatobiliary System W. Taylor / Knjiga Meki uvez
common.buy 51.63
Keys to Successful Fasting Dr Rosetta Stamp / Knjiga Meki uvez
common.buy 15.75

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun