Certified Programs and Proofs

Georges Gonthier, Michael Norrish

Informasi Dasar

39 kali
16.21.2109
005.13
Buku - Elektronik (E-Book)
2

Subjek

PROGRAMMING LANGUAGE
ARTIFICIAL INTELLIGENCE, COMPUTER SCIENCE

Katalog

Certified Programs and Proofs
978-3-319-03545-1
 
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Georges Gonthier, Michael Norrish
Perorangan
 
 

Penerbit

Springer International Publishing
 
2013

Koleksi

1 Koleksi
1 Koleksi

Kompetensi

 

Download / Flippingbook

diunduh 38 kali
 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini