CİLTLER LİSTELER GÜNLÜK AKTİVİTE İNCELEMELER İSTATİSTİK ÜYELER

Yükleniyor

Kitaplarını kaydet, raflarını kur, inceleme yaz, herkese açık listeler yap ve zevkine güvendiğin okurları takip et.

Keşfet

Ciltleri gez
Listeler
Günlük
İstatistik

Topluluk

Okur aktivitesi
Herkese açık listeler
İncelemeler
Üyeler

Bülten

Haftalık kitap önerileri al.

© 2026 Cilt. Tüm hakları saklıdır.

Gizlilik Şartlar

Yükleniyor

Yazar

Damien Zufferey

2 cilt bulundu.

Cilt sonuçları

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Dirk Beyer, Damien Zufferey · Springer

485 sayfa · 2020

Kategori yok

Numerical Software Verification

Numerical Software Verification

Majid Zamani, Damien Zufferey · Springer

160 sayfa · 2019

Kategori yok