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

Arie Gurfinkel

3 cilt bulundu.

Cilt sonuçları

Verified Software : Theories, Tools, and Experiments

Verified Software : Theories, Tools, and Experiments

Arie Gurfinkel, Sanjit A. Seshia · Springer

228 sayfa · 2016

Computer programs

CiltMulti-valued symbolic model-checkingArie Gurfinkel

Multi-valued symbolic model-checking

Arie Gurfinkel · National Library of Canada

Sayfa sayısı yok · 2003

Kategori yok

CiltComputer Aided VerificationArie Gurfinkel, Vijay Ganesh

Computer Aided Verification

Arie Gurfinkel, Vijay Ganesh · Springer

Sayfa sayısı yok · 2024

Kategori yok