Hero image 0 of Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Pa, (Paperback), 0 of 1
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Pa, (Paperback)
(No ratings yet)
Key item features
- Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Pa, (Paperback)
- Author: Springer
- ISBN: 9783030452360
- Format: Paperback
- Publication Date: 2020-04-18
- Page Count: 425
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date2020-04-18
- Pages425
- SubgenreProgramming
Current price is USD$44.99
Price when purchased online
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Fri, Apr 17
|Shipping fee $7.98
Sold and shipped by Best Prices & Service
4.390134529147982 stars out of 5, based on 223 seller reviews(4.4)223 seller reviews
Free 30-day returns
About this item
Product details
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.
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.
- Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Pa, (Paperback)
- Author: Springer
- ISBN: 9783030452360
- Format: Paperback
- Publication Date: 2020-04-18
- Page Count: 425
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
2020-04-18
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Software Engineering: Eine Einführung Für Informatiker Und Ingenieure: Systeme, Erfahrungen, Methoden, Tools, (Paperback) $44.99
$4499current price $44.99Software Engineering: Eine Einführung Für Informatiker Und Ingenieure: Systeme, Erfahrungen, Methoden, Tools, (Paperback)
Korchnoi Year by Year: Volume II (1969-1980), (Paperback) $45.00
$4500current price $45.00Korchnoi Year by Year: Volume II (1969-1980), (Paperback)
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Pa, Book 15698, (Paperback) $35.11
$3511current price $35.11Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, Tacas 2025, Held as Pa, Book 15698, (Paperback)
Coûtumes Du Pays Et DuchÃ(c) D'anjou, (Hardcover) $44.95
$4495current price $44.95Coûtumes Du Pays Et DuchÃ(c) D'anjou, (Hardcover)
Tools and Algorithms for the Construction and Analysis of Systems (Paperback) $46.18
$4618current price $46.18Tools and Algorithms for the Construction and Analysis of Systems (Paperback)
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Pa, Book 14572, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Pa, Book 14572, (Paperback)
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Pa, (Paperback) $54.99
$5499current price $54.99Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, Tacas 2017, Held as Pa, (Paperback)
Systems Innovation Book Quality Tools for Managing Construction Projects, (Paperback) $69.30
$6930current price $69.30Systems Innovation Book Quality Tools for Managing Construction Projects, (Paperback)
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, Tacas 2019, Held as Pa, (Paperback) $59.99
$5999current price $59.99Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, Tacas 2019, Held as Pa, (Paperback)
Fundamental Approaches to Software Engineering: 23rd International Conference, Fase 2020, Held as Part of the European J, (Paperback) $54.97
$5497current price $54.97Fundamental Approaches to Software Engineering: 23rd International Conference, Fase 2020, Held as Part of the European J, (Paperback)
Declarative Agent Languages and Technologies V: 5th International Workshop, Dalt 2007, Honolulu, Hi, Usa, May 14, 2007, , (Paperback) $54.99
$5499current price $54.99Declarative Agent Languages and Technologies V: 5th International Workshop, Dalt 2007, Honolulu, Hi, Usa, May 14, 2007, , (Paperback)
Requirements Engineering: Foundation for Software Quality: 22nd International Working Conference, Refsq 2016, Gothenburg, (Paperback) $60.29
$6029current price $60.29Requirements Engineering: Foundation for Software Quality: 22nd International Working Conference, Refsq 2016, Gothenburg, (Paperback)
Service-Oriented Computing: Agents, Semantics, and Engineering: Aamas 2007 International Workshop, Socase 2007, Honolulu, (Paperback) $54.99
$5499current price $54.99Service-Oriented Computing: Agents, Semantics, and Engineering: Aamas 2007 International Workshop, Socase 2007, Honolulu, (Paperback)
Foundations of Software Science and Computational Structures: 14th International Conference, Fossacs 2011, Held as Part , (Paperback) $60.29
$6029current price $60.29Foundations of Software Science and Computational Structures: 14th International Conference, Fossacs 2011, Held as Part , (Paperback)
Lecture Notes in Computer Science Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as Part o, Book 1579, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as Part o, Book 1579, (Paperback)
Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory , (Paperback) $49.99
$4999current price $49.99Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory , (Paperback)
Foundations of Software Science and Computational Structures: 8th International Conference, Fossacs 2005, Held as Part o, (Paperback) $56.14
$5614current price $56.14Foundations of Software Science and Computational Structures: 8th International Conference, Fossacs 2005, Held as Part o, (Paperback)
Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, Refsq 2018, Utrecht, t, (Paperback) $60.29
$6029current price $60.29Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, Refsq 2018, Utrecht, t, (Paperback)
CISM International Centre for Mechanical Progress in Computational Analysis of Inelastic Structures, Book 321, (Paperback) $54.99
$5499current price $54.99CISM International Centre for Mechanical Progress in Computational Analysis of Inelastic Structures, Book 321, (Paperback)
Business Logistics: Theoretical and Practical Perspectives with Analyses, (Paperback) $55.35
$5535current price $55.35Business Logistics: Theoretical and Practical Perspectives with Analyses, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
