Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 5 from your keywords: author=FINKBEINER, Bernd
cover
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Comment Share
FINKBEINER, BerndKOVACS, Laura

Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertaka…

Edition
1
ISBN/ISSN
978-3-031-57249-4
Collation
1 online resource (XXI, 386 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
005.1 FIN t
cover
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Comment Share
FINKBEINER, BerndKOVACS, Laura

Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2024, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2024, selama 6-11 April 2024, di Luksemburg. 53 makalah lengkap dan 16 kontribusi SVComp singkat yang disertaka…

Edition
1
ISBN/ISSN
978-3-031-57256-2
Collation
1 online resource (XXII, 428 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
005.1 FIN t
cover
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Comment Share
FINKBEINER, BerndKOVACS, Laura

Buku akses terbuka set 3 volume LNCS 14570-14573 merupakan prosiding Konferensi Internasional ke-30 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, Alat dan Algoritma untuk Konstruksi dan Analisis Sistem (TACAS, Tools and Algorithms for the Construction and Analysis of Systems) bagian dari ETAPS dan seri LNCS (Lecture Notes in Computer Science) - 2024, yang diadakan sebagai bag…

Edition
1
ISBN/ISSN
978-3-031-57246-3
Collation
1 online resource (XXVIII, 394 Pages)
Series Title
Lecture Notes in Computer Science
Call Number
005.1 FIN t
cover
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the …
Comment Share
FINKBEINER, BerndBEKLEMISHEV, Lev D.BLASS, AndreasERSHOWITZ, NachumSCHULTE, Wolfram

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Fe…

Edition
-
ISBN/ISSN
978-3-319-23534-9
Collation
15 b/w illustrations
Series Title
-
Call Number
-
cover
Automated Technology for Verification and Analysis : 13th International Sympo…
Comment Share
FINKBEINER, BerndPU, GeguangZHANG, Lijun

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated a…

Edition
-
ISBN/ISSN
978-3-319-24953-7
Collation
XIII, 520
Series Title
-
Call Number
006.3