Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 4 from your keywords: author="Arie Gurfinkel"
cover
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
Comment Share
Marijn HeuleArie Gurfinkel

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

Edition
-
ISBN/ISSN
9783031906602
Collation
XXI, 269 hlm; ill., lamp.,
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
Comment Share
Marijn HeuleArie Gurfinkel

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

Edition
-
ISBN/ISSN
9783031906435
Collation
XXVII, 399 hlm,: ill, lamp;
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…
Comment Share
Marijn HeuleArie Gurfinkel

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

Edition
-
ISBN/ISSN
9783031906534
Collation
XX, 387hlm,: ill, lamp; 21 cm
Series Title
-
Call Number
-
cover
Tools and Algorithms for the Construction and Analysis of Systems
Comment Share
Marijn HeuleArie Gurfinkel

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

Edition
-
ISBN/ISSN
9783031906602
Collation
XXI, 269 hlm,: ill, lamp; 21 cm
Series Title
-
Call Number
-