Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag GmbH
SKU: 49776475
Price: 76.28 EUR
Availability: InStock
Author: Elena Gómez-Martínez
ISBN: 9783032104434

Elena Gómez-Martínez

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 49776475

Nakladateľstvo Springer-Verlag GmbH, december 2025

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Celý popis

Libristo kód: 49776475

185 b

76.28 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Капітан Кук. Книга друга Євгенія Чемерис

Brožovaná

14.56 €

Ramsés II era un fumeta (y Hitler se pasó con las anfetas) Sam Kelly

Kniha

20.73 €

Lulu & Bo toben im Herbstlaub Outi Kaden

Pevná

8.79 €

Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication

Brožovaná

12.13 €

Etazhi Molchat Doma

Audio CD

18.71 €

Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan

Brožovaná

9.20 €

La Fiesta de las Frutas Doris Alvarez

Brožovaná

8.99 €

Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr

Brožovaná

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.