Detail Cantuman

Advanced Search

Object-oriented concepts and proof rules: formalization in type theory and implementation in yarrow

ZWANENBURG, JAN - Personal Name

Tidak Tersedia Deskripsi

Ketersediaan

071842TXBPU2007 Tersedia

Informasi Detil

No. Panggil	511.35
Edisi	1
ISBN/ISSN	90-386-0731-8
Subyek	LAMBDA CALCULUS ABSTRACT DATA TYPES
DDC	511.35
TYPE	TXB
Bahasa	English
Penerbit	Technische Universiteit Eindhoven : Eindhoven., 1999
Deskripsi Fisik	+347hlm.;24cm
Info Detil Spesifik	-

Literature Searching Service (LSS)

Hard copy atau foto copy dari buku ini dapat diberikan dengan syarat ketentuan berlaku, jika berminat, silahkan hubungi via telegram (Chat Services LSS)

Informasi

Anda harus login sebelum Booking Buku dan memberikan komentar