BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Alessandro Fantechi

3 cilt bulundu.

Cilt sonuçları

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Alessandro Fantechi, Darren Cofer · Springer

Sayfa sayısı yok · 2009

Kategori yok

From Software Engineering to Formal Methods and Tools, and Back

From Software Engineering to Formal Methods and Tools, and Back

Maurice H. ter Beek, Alessandro Fantechi, Laura Semini · Springer

587 sayfa · 2019

Kategori yok

Computer software, reliabilitySoftware Engineering for Resilient SystemsAlessandro Fantechi, Patrizio Pelliccione

Software Engineering for Resilient Systems

Alessandro Fantechi, Patrizio Pelliccione · Springer London, Limited

145 sayfa · 2015

Software engineering / Computer software, reliability