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

Wies Thomas

6 cilt bulundu.

Cilt sonuçları

Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies · Springer

224 sayfa · 2017

Computer software

CiltProgramming Languages and SystemsThomas Wies

Programming Languages and Systems

Thomas Wies · Springer

Sayfa sayısı yok · 2023

Kategori yok

CiltNetworked SystemsDavid Mohaisen, Thomas Wies

Networked Systems

David Mohaisen, Thomas Wies · Springer

Sayfa sayısı yok · 2023

Kategori yok

CiltVerification, Model Checking, and Abstract InterpretationBernd Finkbeiner, Thomas Wies

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

MathematicsAutomated Verification of Concurrent Search StructuresSiddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies

Automated Verification of Concurrent Search Structures

Siddharth Krishna, Nisarg Patel, Dennis Elliott Shasha, Thomas Wies · Morgan & Claypool Publishers

188 sayfa · 2021

Mathematics

CiltAutomated Verification of Concurrent Search StructuresKrishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas

Automated Verification of Concurrent Search Structures

Krishna Siddharth, Patel Nisarg, Shasha Dennis, Wies Thomas · Springer International Publishing AG

Sayfa sayısı yok · 2021

Kategori yok