1
Challenges of Software Verification (Intelligent Systems Reference Library, 238)

Challenges of Software Verification (Intelligent Systems Reference Library, 238)

Vincenzo Arceri (editor), Agostino Cortesi (editor), Pietro Ferrara (editor), Martina Olliaro (editor)
Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 5.53 MB
0 / 5.0
english, 2023
2
Challenges of Software Verification

Challenges of Software Verification

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
Έτος:
2023
Γλώσσα:
english
Αρχείο:
PDF, 5.53 MB
0 / 0
english, 2023
3
Napoli. Una leggenda lunga 90 anni (Italian Edition)

Napoli. Una leggenda lunga 90 anni (Italian Edition)

Liberato Ferrara & Pietro Mosca
Έτος:
2017
Γλώσσα:
italian
Αρχείο:
EPUB, 5.03 MB
0 / 0
italian, 2017
4
Migrant Health Burden: Where Do We Stand?

Migrant Health Burden: Where Do We Stand?

Laura Spagnoli, Antoine Flahault, Pietro Ferrara
Έτος:
2020
Γλώσσα:
english
Αρχείο:
PDF, 196 KB
0 / 0
english, 2020