INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA

Saved in:

Bibliographic Details
Main Author:	Alam Hasabie, Nur
Format:	Final Project
Language:	Indonesia
Subjects:	Teknik (Rekayasa, enjinering dan kegiatan berkaitan)
Online Access:	https://digilib.itb.ac.id/gdl/view/61355
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Institut Teknologi Bandung
Language:	Indonesia

id	id-itb.:61355
spelling	id-itb.:613552021-09-24T23:22:27ZINTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA Alam Hasabie, Nur Teknik (Rekayasa, enjinering dan kegiatan berkaitan) Indonesia Final Project INSTITUT TEKNOLOGI BANDUNG https://digilib.itb.ac.id/gdl/view/61355 text
institution	Institut Teknologi Bandung
building	Institut Teknologi Bandung Library
continent	Asia
country	Indonesia Indonesia
content_provider	Institut Teknologi Bandung
collection	Digital ITB
language	Indonesia
topic	Teknik (Rekayasa, enjinering dan kegiatan berkaitan)
spellingShingle	Teknik (Rekayasa, enjinering dan kegiatan berkaitan) Alam Hasabie, Nur INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA
description
format	Final Project
author	Alam Hasabie, Nur
author_facet	Alam Hasabie, Nur
author_sort	Alam Hasabie, Nur
title	INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA
title_short	INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA
title_full	INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA
title_fullStr	INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA
title_full_unstemmed	INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA
title_sort	integrasi model checker dengan dtest untuk deteksi bug implementasi protokol paxos pada cassandra
url	https://digilib.itb.ac.id/gdl/view/61355
_version_	1822003814490701824

INTEGRASI MODEL CHECKER DENGAN DTEST UNTUK DETEKSI BUG IMPLEMENTASI PROTOKOL PAXOS PADA CASSANDRA

Similar Items