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

Sergiy Bogomolov

2 cilt bulundu.

Cilt sonuçları

CiltFormal Modeling and Analysis of Timed SystemsSergiy Bogomolov, David Parker

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov, David Parker · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

Computer software, verificationNumerical Software VerificationSergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar

Numerical Software Verification

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar · Springer International Publishing AG

107 sayfa · 2017

Computer software, verification