Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer-Verlag GmbH
SKU: 49776475
Price: 1746 CZK
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

Nakladatelství Springer-Verlag GmbH, prosinec 2025

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

Libristo kód: 49776475

175 b

1 746 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

352 Kč

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

Kniha

501 Kč

Lulu & Bo toben im Herbstlaub Outi Kaden

Pevná

200 Kč

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

Brožovaná

294 Kč

Etazhi Molchat Doma

Audio CD

432 Kč

Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan

Brožovaná

211 Kč

La Fiesta de las Frutas Doris Alvarez

Brožovaná

219 Kč

Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr

Brožovaná

1 804 Kč

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.