Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings (Lecture Notes in Computer Science, Band 14323)

Artikelnummer: BG233193

80,64

Uitverkocht

Verkoop door: Bucher Garten

Verwerkingstijd:(Dag) 5-8

Uitverkocht

E-mail wanneer voorraad beschikbaar

  • Veilig betalen en bestellen

We zijn er om je een veilige en comfortabele winkelervaring te bezorgen. 

  • Gratis retourneren binnen 30 dagen

Je kunt je retourtransacties snel en gemakkelijk uitvoeren. 

  • Profiteer van de handigste verzendfaciliteiten

We geven je een trackingnummer zodat je je bestelling stap voor stap kunt volgen. 

  • 100% klanttevredenheid

Alle producten die we aanbieden hebben hoge kwaliteitsnormen. 

Gegarandeerd veilig afrekenen:

Verwante producten 

Beschrijving

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools

Aanvullende informatie

Overzicht

auteur

Editie

1st ed. 2023 edition

Uitgever

Springer

Aantal pagina's

392

Publicatiedatum

2023-10-31

Verbindend

Paperback

ISBN13

9783031471148

ISBN10

B00IDA8BP0