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

h hahnle

2 cilt bulundu.

Cilt sonuçları

CiltVerification of Object-Oriented Software. the KeY ApproachBernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Verification of Object-Oriented Software. the KeY Approach

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt · Springer London, Limited

Sayfa sayısı yok · 2007

Kategori yok

Computer softwareDeductive Software Verification - the KeY BookWolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt

Deductive Software Verification - the KeY Book

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt · Springer

Sayfa sayısı yok · 2016

Computer software