Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems
Brand: Springer Nature Switzerland AG
SKU: 28240685
Price: 40.89 EUR
Availability: InStock
Author: Armin Biere
ISBN: 9783030451899

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

David Parker

Language

English

Book Paperback

Libristo code: 28240685

Publishers Springer Nature Switzerland AG, April 2020

This open access two-volume set constitutes the proceedings of the 26th International Conference on... Full description

Libristo code: 28240685

100 b

40.89 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Veštice a mágovia na Slovensku Olianna Svetová

Paperback

8.99 €

Tinto Sprachlesebuch 2-4 - Ausgabe 2013 - 3. Schuljahr Christiane Bruns

Hardback

25.09 €

Pan Lodowego Ogrodu. Księga 1 Jarosław Grzędowicz

Paperback

13.39 €

Les raisons de mon crime Nathalie Kuperman

Paperback

9.89 €

Les Trois Mousquetaires Dumas

Paperback

19.09 €

Test Administrativos de la Xunta de Galicia CASTILLO TORRES

Hardback

22.49 €

Collection F

Paperback

24.39 €

Memoire Pour Servir A l'Histoire de France [V 6] (Ed.1814-1826) Jacques-Barthelemy Salgues

Paperback

27.99 €

El fin de la ciencia : todo lo que un ciudadano debe saber sobre ciencia y no sabe cómo preguntar ni de quién fiarse Manuel Lozano Leyva

Paperback

10.49 €

Chłopi Reymont Władysław Stanisław

Hardback

7.79 €

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.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Tools and Algorithms for the Construction and Analysis of Systems

Author Armin Biere, David Parker

Language

English

Binding Book - Paperback

Date of issue 2020

Number of pages 501

EAN 9783030451899

Libristo code 28240685

Publishers Springer Nature Switzerland AG

Weight 801

Dimensions 155 x 235 x 29

You might also be interested in

Is This a Dream? - Reflections on the Awakening Mind Anoop Kumar

Paperback

12.59 €

Plant Biotechnology: principles, techniques and applications Adane Gebeyehu Demissie

Paperback

43.99 €

Alternative Photography: Art and Artists, Edition I: 115 artists working with anthotype, carbon, cyanotype, collodion, bromoil, gum bichromate, Malin Fabbri

Paperback

52.39 €