Software Engineering and Formal Methods

Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti

Informasi Dasar

Dilihat

48 kali

No. Katalog

16.21.2375

Klasifikasi

005.1

Jenis katalog

Buku - Elektronik (E-Book)

No. Rak

Tel-U Gedung Manterawu Lantai 5 : Rak 2
Tel-U Purwokerto : Rak 1

Abstraksi

Subjek

Subjek utama

SOFTWARE ENGINEERING

Subjek tambahan

PROGRAMMING LANGUAGES, COMPUTER COMMUNICATION NETWORKS

Katalog

Judul

Software Engineering and Formal Methods

ISBN

978-3-642-40561-7

Kolasi

 

Bahasa

English

Sirkulasi

Harga pinjam

Rp. 0

Biaya denda

Rp. 0

Sirkulasi

Tidak

Pengarang

Nama

Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti

Jenis

Perorangan

Penyunting/
Pembimbing

 

Alih bahasa

 

Penerbit

Nama

Springer Berlin Heidelberg

Kota

 

Tahun

2013

Koleksi

Total

1 Koleksi

Tersedia

1 Koleksi

Kompetensi

• CRI3E2 - METODE FORMAL

Download / Flippingbook

Link file

E - Book (ebook.pdf)

diunduh 48 kali

Rekomendasi

 

Ulasan

Belum ada ulasan yang diberikan

anda harus sign-in untuk memberikan ulasan ke katalog ini

• Kembali