Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 7 from your keywords: author=BEYER, Dirk
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: 24th Inter…
Comment Share
BEYER, DirkHUISMAN, Marieke

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The to…

Edition
1
ISBN/ISSN
9783319899633
Collation
-
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years o…
Comment Share
BEYER, DirkHUISMAN, MariekeKORDON, Fabrice

This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of 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. It's a special volu…

Edition
1
ISBN/ISSN
9783030175023
Collation
XXVII, 258
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems; 24th Inter…
Comment Share
BEYER, DirkHUISMAN, Marieke

Rangkaian prosiding LNCS 10805 dan 10806 merupakan prosiding Konferensi Internasional ke-24 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Total 43 makalah lengkap dan 11 makalah p…

Edition
-
ISBN/ISSN
978-3-319-89963-3
Collation
1 online resource (474 Pages)
Series Title
-
Call Number
005.1 bey T
cover
Tools and Algorithms for the Construction and Analysis of Systems; 24th Inter…
Comment Share
BEYER, DirkHUISMAN, Marieke

Rangkaian prosiding LNCS 10805 dan 10806 merupakan prosiding Konferensi Internasional ke-24 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2018, yang berlangsung di Thessaloniki, Yunani, pada bulan April 2018, yang diselenggarakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. Total 43 makalah lengkap dan 11 makalah p…

Edition
1
ISBN/ISSN
978-3-319-89960-2
Collation
1 online resource (439 Pages)
Series Title
-
Call Number
005.1 BEY t
cover
Tools and Algorithms for the Construction and Analysis of Systems: 24th Inter…
Comment Share
BEYER, DirkHUISMAN, Marieke

This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The tot…

Edition
1
ISBN/ISSN
9783319899602
Collation
XX, 429
Series Title
-
Call Number
-
cover
Fundamental Approaches to Software Engineering: 27th International Conference…
Comment Share
BEYER, DirkCAVALCANTI, Ana

This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 202…

Edition
1
ISBN/ISSN
9783031572593
Collation
XIV, 332
Series Title
-
Call Number
-