Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 4 from your keywords: subject="Sistem Analisis dan D...
cover
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
Comment Share
VOJNAR, TomášLijun, Zhang

Kumpulan prosiding LNC 11427 dan 11428 merupakan prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada bulan April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Total 42 makalah demo alat lengkap dan 8 pendek yan…

Edition
1
ISBN/ISSN
978-3-030-17465-1
Collation
1 online resource (426 Pages)
Series Title
-
Call Number
004.21 VOJ t
cover
Tools and Algorithms for the Construction and Analysis of Systems; 25 Years o…
Comment Share
BEYER, DirkHUISMAN, Marieke

Buku ini, LNC 11429, merupakan bagian III dari prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Ini adalah volume khusus pada peringatan 25 tahun TACAS.

Edition
-
ISBN/ISSN
978-3-030-17502-3
Collation
1 online resource (280 Pages)
Series Title
-
Call Number
004.21 BEY t
cover
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
Comment Share
VOJNAR, TomášLijun, Zhang

Kumpulan prosiding LNC 11427 dan 11428 merupakan prosiding Konferensi Internasional ke-25 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2019, yang berlangsung di Praha, Republik Ceko, pada bulan April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019. Total 42 makalah demo alat lengkap dan 8 pendek yan…

Edition
-
ISBN/ISSN
978-3-030-17462-0
Collation
1 online resource (447 Pages)
Series Title
-
Call Number
004.21 VOJ t
cover
Foundations of Software Science and Computation Structures; 22nd Internationa…
Comment Share
SIMPSON, AlexBojanmczyk, Mikołaj

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-22 tentang Dasar-dasar Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2019, yang berlangsung di Praha, Republik Ceko, pada April 2019, yang diadakan sebagai bagian dari Konferensi Bersama Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2019.29 makalah yang disajikan dalam volume ini ditinjau dan dipilih dengan c…

Edition
1
ISBN/ISSN
978-3-030-17127-8
Collation
1 online resource (556 Pages)
Series Title
-
Call Number
004.2 BOJ f