cover
Tools and algorithms for the construction and analysis of systems :26th Inter…
Biere, ArminParker, David

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place i…

Edisi
-
ISBN/ISSN
9783030452377
Deskripsi Fisik
xxiii, 425p. : ill.
Judul Seri
-
No. Panggil
004.21 TOO t

Hasil Pencarian

Ditemukan 1 dari pencarian Anda melalui kata kunci: Pengarang : Parker, David
Permintaan membutuhkan 0.00049 detik untuk selesai
Saran
image
Radikalisme dan Kebangsaan Kelompok Keagamaan: Perspektif Pendidikan (Bunga Rampai)
Siti Muawanah, dkk.
image
Revolusi Industri 4.0 : Mengubah tantangan Menjadi Peluang di Era Disrupsi 4.0
Savitri, Astrid
image
Charting literary urban studies :texts as models of and for the city
Gurr, Jens Martin
image
Balancing the self:Medicine, politics and the regulation of health in the twentieth century
Jackson, Mark - Moore, Martin D
image
Literacy skills as local intangible capital :the history of a rural lending library c. 1860-1920
Kotilainen, Sofia