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

Tim Willemse

4 cilt bulundu.

Cilt sonuçları

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen, Tim Willemse · Springer

176 sayfa · 2019

Kategori yok

CiltSemantics and verification in process algebras with data and timingTim Willemse

Semantics and verification in process algebras with data and timing

Tim Willemse · Yayınevi bilinmiyor

181 sayfa · 2003

Kategori yok

MathematicsSoftware Engineering and Formal MethodsCarla Ferreira, Tim A. C. Willemse

Software Engineering and Formal Methods

Carla Ferreira, Tim A. C. Willemse · Springer

Sayfa sayısı yok · 2023

Mathematics

CiltFormal Techniques for Distributed Objects, Components, and SystemsKirstin Peters, Tim A. C. Willemse

Formal Techniques for Distributed Objects, Components, and Systems

Kirstin Peters, Tim A. C. Willemse · Springer International Publishing AG

Sayfa sayısı yok · 2021

Kategori yok