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

Ylies Falcone

4 cilt bulundu.

Cilt sonuçları

Lectures on Runtime Verification

Lectures on Runtime Verification

Ezio Bartocci, Yliès Falcone · Springer

245 sayfa · 2018

Computer science / Software engineering

Runtime Verification

Runtime Verification

Howard Barringer, Ylies Falcone, Bernd Finkbeiner · Springer

Sayfa sayısı yok · 2011

Kategori yok

Computer software, verificationRuntime VerificationYlies Falcone, Cesar Sanchez

Runtime Verification

Ylies Falcone, Cesar Sanchez · Springer International Publishing AG

512 sayfa · 2016

Computer software, verification

CiltFormal Methods in Outer SpaceEzio Bartocci, Yliès Falcone, Martin Leucker

Formal Methods in Outer Space

Ezio Bartocci, Yliès Falcone, Martin Leucker · Springer International Publishing AG

Sayfa sayısı yok · 2021

Kategori yok