Formal Methods for Components and Objects

Bonsangue, Marcello M. - de Boer, Frank S. - de Roever, Willem-Paul. - Graf, Susanne. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Integrated Formal Methods

Romijn, Judi M.T. - Smith, Graeme P. - SpringerLink (Online service) - van de Pol, Jaco C.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 92 dari pencarian Anda melalui kata kunci: subject="Computer logic."
Permintaan membutuhkan 0.12533 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog