Image of Certified Programs and Proofs
Penanda Bagikan

E-Book

Certified Programs and Proofs

Tidak Tersedia Deskripsi

Ketersediaan
#
Belum memasukkan lokasi Belum memasukkan lokasi
978-3-319-03544-4
Tersedia
Informasi Detail
Judul Seri
Lecture Notes in Computer Science
No. Panggil
-
Penerbit
: Springer.,
Deskripsi Fisik
http://dx.doi.org/10.1007/978-3-319-03545-1
Bahasa
English
ISBN/ISSN
978-3-319-03545-1
Klasifikasi
LNCS
Edisi
-
Subjek

Info Detail Spesifik
-
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Tidak Ada Data
Komentar
Anda harus masuk sebelum memberikan komentar