Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore

0 Item

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25â"30, 2020, Proceedings, Part I - Armin Biere

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25â"30, 2020, Proceedings, Part I

By: Armin Biere (Editor), David Parker (Editor)

Paperback | 18 April 2020

At a Glance

Paperback

$87.84

or 4 interest-free payments of $21.96 with

 or 

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: 
Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems.
Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020. 

You Can Find This Book In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware EngineeringComputer ScienceComputer Architecture & Logic DesignComputer HardwareDatabasesData Capture & AnalysisArtificial IntelligenceExpert Systems & Knowledge-Based SystemsSystems Analysis & Design
Algorithms & Data StructuresMathematical Theory of Computation

More in Algorithms & Data Structures

The University and the Algorithmic Gaze - Lesley Gourlay

The University and the Algorithmic Gaze

Hardcover

RRP $190.00

$157.95

17%
OFF
Algorithms in C, Part 5 : 3rd Edition - Graph Algorithms - Robert Sedgewick

Algorithms in C, Part 5

3rd Edition - Graph Algorithms

Paperback

RRP $96.95

$68.95

29%
OFF
Fundamentals of Python : Data Structures - Kenneth Lambert

Fundamentals of Python

Data Structures

Paperback

$511.90

Deep Learning Crash Course

Deep Learning Crash Course

Paperback

$103.50

This product is categorised by