Ichiro Hasuo – författare
Visar alla böcker från författaren Ichiro Hasuo. Handla med fri frakt och snabb leverans.
6 produkter
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Av Ichiro Hasuo, Fuyuki Ishikawa
Inbunden, 2025
1826 kr
Lägg i varukorg
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by …
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Av Ichiro Hasuo, Fuyuki Ishikawa
Häftad, 2026
822 kr
Lägg i varukorg
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by …
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Av Fuyuki Ishikawa, Ichiro Hasuo
E-bok, 2025
1022 kr
Lägg i varukorg
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by …
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
Av Fuyuki Ishikawa, Ichiro Hasuo
E-bok, 2025
989 kr
Lägg i varukorg
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by …
Coalgebraic Methods in Computer Science
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Av Ichiro Hasuo
Häftad, 2016
568 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016.The 10 revised full papers were carefully reviewed and …
Coalgebraic Methods in Computer Science
13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
Av Ichiro Hasuo
E-bok, 2016
739 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10 revised full papers were carefully reviewed and …
