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

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contribution…

Edition
1
ISBN/ISSN
9783031572494
Collation
XXI, 386
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Comment Share
FINKBEINER, BerndKOVACS, Laura

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contribution…

Edition
1
ISBN/ISSN
9783031572562
Collation
XXII, 428
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems: 30th Inter…
Comment Share
FINKBEINER, BerndKOVACS, Laura

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contribution…

Edition
1
ISBN/ISSN
9783031572463
Collation
XXVIII, 394
Series Title
-
Call Number
-
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