Get Free Shipping on orders over $89
Lecture Notes in Computer Science : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pr - Bernd Finkbeiner

Lecture Notes in Computer Science

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pr

By: Bernd Finkbeiner (Editor), Laura Kovács (Editor)

Paperback | 9 May 2024

At a Glance

Paperback


$64.56

or 4 interest-free payments of $16.14 with

 or 

Ships in 5 to 7 business days

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 contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024. 

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
The Art of Spyro : Reignited Trilogy - Micky Neilson

RRP $75.00

$55.75

26%
OFF
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$36.75

26%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$106.40

20%
OFF