Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, Tacas 2016, Held as Pa, (Paperback)
(No ratings yet)
Key item features
- Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, Tacas 2016, Held as Pa, (Paperback)
- Author: Springer
- ISBN: 9783662496732
- Format: Paperback
- Publication Date: 2016-04-09
- Page Count: 961
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date20160409
- Pages961
- SubgenreProgramming
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Tomorrow
.Order within 6 min
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $60.29
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book constitutes the proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016.
The 44 full papers presented in this volume were carefully reviewed and selected from 175 submissions. They were organized in topical sections named: abstraction and verification; probabilistic and stochastic systems; synthesis; tool papers; concurrency; tool demos; languages and automata; security; optimization; and competition on software verification - SV-COMP.
- Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, Tacas 2016, Held as Pa, (Paperback)
- Author: Springer
- ISBN: 9783662496732
- Format: Paperback
- Publication Date: 2016-04-09
- Page Count: 961
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
20160409
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
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, Tacas 2022, Held as Pa, Book 13243, (Paperback) $49.99
$4999current price $49.99Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, Tacas 2022, Held as Pa, Book 13243, (Paperback)
Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European J, (Paperback) $54.99
$5499current price $54.99Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European J, (Paperback)
Fundamental Approaches to Software Engineering: 17th International Conference, Fase 2014, Held as Part of the European J, (Paperback) $54.99
$5499current price $54.99Fundamental Approaches to Software Engineering: 17th International Conference, Fase 2014, Held as Part of the European J, (Paperback)
Economic Multi Agent Systems: Design, Implementation, and Application, (Paperback) $55.42
$5542current price $55.42Economic Multi Agent Systems: Design, Implementation, and Application, (Paperback)
Introduction to Computational Thinking: Problem Solving, Algorithms, Data Structures, and More, (Paperback) $51.96
$5196current price $51.96Introduction to Computational Thinking: Problem Solving, Algorithms, Data Structures, and More, (Paperback)
Algorithms and Data Structures for Massive Datasets, (Paperback) $56.88
$5688current price $56.88Algorithms and Data Structures for Massive Datasets, (Paperback)
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Pa, (Paperback) $54.99
$5499current price $54.99Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, Tacas 2010, Held as Pa, (Paperback)
Wireless Algorithms, Systems, and Applications: 14th International Conference, Wasa 2019, Honolulu, Hi, Usa, June 24-26,, (Paperback) $54.99
$5499current price $54.99Wireless Algorithms, Systems, and Applications: 14th International Conference, Wasa 2019, Honolulu, Hi, Usa, June 24-26,, (Paperback)
Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as , Book 1384, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as , Book 1384, (Paperback)
Lecture Notes in Computer Science Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as P, 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 P, Book 1579, (Paperback)
Fundamental Approaches to Software Engineering: 11th International Conference, Fase 2008, Held as Part of the Joint Euro, (Paperback) $54.99
$5499current price $54.99Fundamental Approaches to Software Engineering: 11th International Conference, Fase 2008, Held as Part of the Joint Euro, (Paperback)
Combinatorial Algorithms: 23rd International Workshop, Iwoca 2012, Krishnankoil, India, July 19-21, 2012, Revised Select, (Paperback) $54.99
$5499current price $54.99Combinatorial Algorithms: 23rd International Workshop, Iwoca 2012, Krishnankoil, India, July 19-21, 2012, Revised Select, (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)
Communications in Computer and Informati Evaluation of Novel Approaches to Software Engineering: 14th International Conference, Enase 2019, Heraklion, Crete, Gre, Book 1172, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Evaluation of Novel Approaches to Software Engineering: 14th International Conference, Enase 2019, Heraklion, Crete, Gre, Book 1172, (Paperback)
Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, Tacas 2013, Held as Pa, (Paperback) $54.99
$5499current price $54.99Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, Tacas 2013, Held as Pa, (Paperback)
Foundations of Software Science and Computational Structures: 11th International Conference, Fossacs 2008, Held as Part , (Paperback) $54.99
$5499current price $54.99Foundations of Software Science and Computational Structures: 11th International Conference, Fossacs 2008, Held as Part , (Paperback)
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007, Toronto, Canada, (Paperback) $54.99
$5499current price $54.99Rough Sets, Fuzzy Sets, Data Mining and Granular Computing: 11th International Conference, RSFDGrC 2007, Toronto, Canada, (Paperback)
Communications in Computer and Informati Parallel and Distributed Computing, Applications and Technologies: 19th International Conference, Pdcat 2018, Jeju Islan, Book 931, (Paperback) $54.99
$5499current price $54.99Communications in Computer and Informati Parallel and Distributed Computing, Applications and Technologies: 19th International Conference, Pdcat 2018, Jeju Islan, Book 931, (Paperback)
Computer Network Security: 7th International Conference on Mathematical Methods, Models, and Architectures for Computer , (Paperback) $54.99
$5499current price $54.99Computer Network Security: 7th International Conference on Mathematical Methods, Models, and Architectures for Computer , (Paperback)
Computational Collective Intelligence. Technologies and Applications: 5th International Conference, ICCCI 2013, Craiova,, (Paperback) $54.99
$5499current price $54.99Computational Collective Intelligence. Technologies and Applications: 5th International Conference, ICCCI 2013, Craiova,, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- M Duse
- Scala Programs
- Ict International Conference
- Ca Electrical Certification
- Tech Reviewer
- Fundamental Of Power Electronics
- Wireless Books
- Optical Data Processing Books
- Mobile Devices Books
- Media & Communications Industry Books
- Signals & Signal Processing Technology & Engineering Books
- Electronic Data Interchange Books