Studiebog

Integrated Formal Methods

- 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 869,95

Medlemspris: kr. 829,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 9-12 Hverdage (Sendes fra fjernlager)
Forventet levering: 15-10-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands.

The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal400
Udgivelsesdato11-11-2023
ISBN139783031477041
Forlag Springer International Publishing AG
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Integrated Formal Methods

- 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings

Findes i disse kategorier...

Se andre, der handler om...