Perpustakaan Fakultas Ilmu Komputer

Library Automation and Digital Archive

LONTAR

Fakultas Ilmu Komputer
Universitas Indonesia

Call Number	005.133 Sek p
Collection Type	Buku
Title	Program development by refinement: case studies using the B method
Author	Sekerinski, E.;
Publisher	London: Springer-Verlag, 1999
Subject	B (Computer program language)
Location

Lokasi : Perpustakaan Fakultas Ilmu Komputer

Nomor Panggil	ID Koleksi	Status
005.133 Sek p	03/9860 Fotokopi	TERSEDIA
005.133 Sek p	05/10773 (Asli)	TERSEDIA

Tidak ada review pada koleksi ini: 3516

Tidak ada abstrak pada koleksi ini

Latest Collection

Fuzzy Mode and Fuzzy Median In Applications To The Environment Impact Assessment(306-311)

Type: Indeks Artikel prosiding/Sem

Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited (193-204)

Type: Indeks Artikel prosiding/Sem

Pengembangan Sistem Rekomendasi Pemuatan Barang dan Perencanaan Rute Pengiriman, Studi Kasus: PT Paragon Technology and Innovation

Type: Skripsi

Power System Dynamic Stabilizer Design Using Turning Grey Prediction PID Control (300-305)

Type: Indeks Artikel prosiding/Sem

Evolution of Foraging Model with Migration and KinSelection (294-299)

Type: Indeks Artikel prosiding/Sem

Solving Implication Problems In Database Applications (185-192)

Type: Indeks Artikel prosiding/Sem

Genetic Algorithm Adopting Selective Virus Infection (289-293)

Type: Indeks Artikel prosiding/Sem

Relational Specifications of Infinite Query Answers (174-183)

Type: Indeks Artikel prosiding/Sem

The Application Of Developed Seeds Algorithm Based On Gray System Theory In License Plate Location System (286-588)

Type: Indeks Artikel prosiding/Sem

Object Identity As A Query Language Primitive (159-173)

Type: Indeks Artikel prosiding/Sem

Favorite