Formal Methods for Components and Objects
Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever, Frank S. de Boer
Häftad
709 kr
Data Science and Artificial Intelligence
Third International Conference, DSAI 2025, Peradeniya, Sri Lanka, November 19–21, 2025, Proceedings
Häftad, Engelska, 2025
1 059 kr
Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2025-11-12
- Mått155 x 235 x 20 mm
- Vikt540 g
- FormatHäftad
- SpråkEngelska
- SerieCommunications in Computer and Information Science
- Antal sidor332
- FörlagSpringer Verlag, Singapore
- ISBN9789819544080
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9660
Theory and Practice of Formal Methods
Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen, Erika Abraham
Häftad
709 kr
Intelligence in Communication Systems
Finn Arve Aagesen, Chutiporn Anutariya, Vilas Wuwongse
Häftad
709 kr
Data Science and Artificial Intelligence
Chutiporn Anutariya, Marcello M. Bonsangue, Erna Budhiarti-Nababan, Opim Salim Sitompul
Häftad
1 059 kr
Smart Learning for A Sustainable Society
Chutiporn Anutariya, Dejian Liu, Kinshuk, Ahmed Tlili, Junfeng Yang, Maiga Chang
Inbunden
2 229 kr
Smart Learning for A Sustainable Society
Chutiporn Anutariya, Dejian Liu, Kinshuk, Ahmed Tlili, Junfeng Yang, Maiga Chang
Häftad
2 229 kr