Pensum -10%
NASA Formal Methods
Ivan Perez, Klaus Havelund og 1 annen
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Integrated Formal Methods
Redigert av Josemaria Escriva, Josemaria Escriva, 2024.Del av serien Lecture Notes in Computer Science.
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.
The 19 full papers presented in this volume were carefully reviewed and selected from 58 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.
PocketEngelsk
Normalpris: 1 629,-
1 466,-
Spar 163,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Oppdag mer
Integrated Formal Methods
Redigert av Josemaria Escriva, Josemaria Escriva, 2024.Del av serien Lecture Notes in Computer Science.
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.
The 19 full papers presented in this volume were carefully reviewed and selected from 58 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.
Oppdag mer
Normalpris: 1 629,-
1 466,-
Spar 163,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
1 466,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
