Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Retain current filters
topic_facet:"movers"
Cari:
Koleksi Nasional
Menampilkan
1
-
1
of
1
untuk pencarian:
''
, lama mencari: 0.09s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact)
info
software
eJournal
oleh
Bernhard Kragl
,
Constantin Enea
,
Thomas A. Henzinger
,
Suha Orhun Mutluergil
,
Shaz Qadeer
Terbitan:
2020
Institusi:
Universitas PGRI Palembang
Gedung:
Perpustakaan Universitas PGRI Palembang
Lokasi
Repository
IOS Number
KOTA PALEMBANG
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized
IOS17403.3754772
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Persempit Pencarian
Hapus Filter
Topik: movers
Sektor
1
Library
University
1
Institusi
1
Universitas PGRI Palembang
Koleksi
Puyang Concept Sacrificed and Demythosized
1
Format
1
Journal
EJournal
1
1
Other
Info
1
Software
1
Topik
1
abstraction
1
asynchrony
1
concurrency
1
induction
1
invariants
1
layers
more ...
movers
1
reduction
1
refinement
1
verification
less ...
Pengarang
1
Bernhard Kragl
1
Constantin Enea
1
Shaz Qadeer
1
Suha Orhun Mutluergil
1
Thomas A. Henzinger
Tahun
1
2020
×
Loading...
