Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv

Formal Methods: Foundations and Applications

- 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Engelsk Paperback

Formal Methods: Foundations and Applications

- 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
Engelsk Paperback
Tjek vores konkurrenters priser
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
Tjek vores konkurrenters priser
Normalpris
kr 526
Fragt: 39 kr
6 - 8 hverdage
20 kr
Pakkegebyr
God 4 anmeldelser på
Tjek vores konkurrenters priser
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023. The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions. The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.
Produktdetaljer
Sprog: Engelsk
Sider: 153
ISBN-13: 9783031493416
Indbinding: Paperback
Udgave:
ISBN-10: 3031493419
Udg. Dato: 2 dec 2023
Længde: 0mm
Bredde: 155mm
Højde: 235mm
Forlag: Springer International Publishing AG
Oplagsdato: 2 dec 2023
Forfatter(e):
Forfatter(e)


Kategori Ekspert - og vidensbaserede systemer


ISBN-13 9783031493416


Sprog Engelsk


Indbinding Paperback


Sider 153


Udgave


Længde 0mm


Bredde 155mm


Højde 235mm


Udg. Dato 2 dec 2023


Oplagsdato 2 dec 2023


Forlag Springer International Publishing AG