Filter by
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
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
Tools and Algorithms for the Construction and Analysis of Systems; 25th Inter…
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
Tools and Algorithms for the Construction and Analysis of Systems: 25th Inter…
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. T…
- Edition
- 1
- ISBN/ISSN
- 9783030174651
- Collation
- XXIII, 413
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems: 25th Inter…
This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. T…
- Edition
- 1
- ISBN/ISSN
- 9783030174620
- Collation
- XXIII, 433
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography