Formal Methods Of Program Verification And Specification

Detail Cantuman Kembali

XML

Koleksi Buku Pustaka Pusat Unand

Pernyataan Tanggungjawab

Pengarang

H.K. Berg - Personal Name
W.E. Boebert - Personal Name
W.R. Franta - Personal Name

Edisi

No. Panggil

001.642 5 FOR

ISBN/ISSN

Subyek

Klasifikasi

1.642

Judul Seri

GMD

Bahasa

English

Penerbit

Prentice Hall International,Inc

Tahun Terbit

1982

Tempat Terbit

New Jersey

Deskripsi Fisik

xiv, 207 hal : ill; 22 cm.

Info Detil Spesifik

Lampiran Berkas

LOADING LIST...

Ketersediaan

LOADING LIST...