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

Grigore Rosu

5 cilt bulundu.

Cilt sonuçları

Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund, Grigore Rosu, Manuel N. Nez · Springer

Sayfa sayısı yok · 2008

Kategori yok

CiltTools and Algorithms for the Construction and Analysis of SystemsDana Fisman, Grigore Rosu

Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman, Grigore Rosu · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

CiltAlgebraic Methodology and Software TechnologyJosé Meseguer, Grigore Rosu

Algebraic Methodology and Software Technology

José Meseguer, Grigore Rosu · Springer London, Limited

Sayfa sayısı yok · 2008

Kategori yok

CiltModel Checking SoftwareOwolabi Legunsen, Grigore Rosu

Model Checking Software

Owolabi Legunsen, Grigore Rosu · Springer International Publishing AG

Sayfa sayısı yok · 2022

Kategori yok

Computer softwareFormal Approaches to Software Testing and Runtime VerificationKlaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff

Formal Approaches to Software Testing and Runtime Verification

Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff · Springer London, Limited

Sayfa sayısı yok · 2006

Computer software