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

Hana Chockler

4 cilt bulundu.

Cilt sonuçları

Computer Aided Verification

Computer Aided Verification

Hana Chockler, Georg Weissenbacher · Springer

565 sayfa · 2018

Computer science

Hardware and Software

Hardware and Software

Alan J. Hu, Hana Chockler · Springer

Sayfa sayısı yok · 2009

Kategori yok

Validation of Evolving Software

Validation of Evolving Software

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina · Springer

224 sayfa · 2015

Computer science / Computer software, validation

CiltHardware and Software : Verification and TestingHana Chockler, Alan J. Hu

Hardware and Software : Verification and Testing

Hana Chockler, Alan J. Hu · Springer London, Limited

Sayfa sayısı yok · 2009

Kategori yok