Formal Methods for Components and Objects
Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever
Häftad
719 kr
Del i serien Communications in Computer and Information Science
Data Science and Artificial Intelligence
Third International Conference, DSAI 2025, Peradeniya, Sri Lanka, November 19–21, 2025, Proceedings
Häftad, Engelska, 2025
1 069 kr
Beställningsvara. Skickas inom 5-8 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
Häftad
719 kr
Intelligence in Communication Systems
Finn Arve Aagesen, Chutiporn Anutariya, Vilas Wuwongse
Häftad
719 kr
Data Science and Artificial Intelligence
Chutiporn Anutariya, Marcello M. Bonsangue, Erna Budhiarti-Nababan, Opim Salim Sitompul
Häftad
1 149 kr
Smart Learning for A Sustainable Society
Chutiporn Anutariya, Dejian Liu, Kinshuk, Ahmed Tlili, Junfeng Yang, Maiga Chang
Inbunden
2 289 kr
Smart Learning for A Sustainable Society
Chutiporn Anutariya, Dejian Liu, Kinshuk, Ahmed Tlili, Junfeng Yang, Maiga Chang
Häftad
2 289 kr