All-purpose | Everything Else

Tools And Algorithms For The Construction And Analysis Of Systems: 25 Years Of Tacas: Toolympics, Held As Part Of Etaps 2019, Prag

by Dirk Beyer

2021-02-01 16:15:32

Compare Price
This book is Open Access under a CC BY licence.This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Cz... Read more

This book is Open Access under a CC BY licence.

This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It''s a special volume on the occasion of the 25 year anniversary of TACAS.


Less

Book Details

ISBN9783030175016
autor-image
Dirk Beyer
Author
...

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Buy CAD 85.50
Indigo Books & MusicIn Stock
Format
Condition
Buy CAD 85.50
Available Discount
No Discount available

Related Books

View All
You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome
☆ ☆ ☆ ☆ ☆
There Was an Old Lady Who Swallowed a Chick!
☆ ☆ ☆ ☆ ☆
Life Will Be the Death of Me: ...And You Too!
☆ ☆ ☆ ☆ ☆
The Pout-Pout Fish
☆ ☆ ☆ ☆ ☆
Twinkle, Twinkle, Little Star (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
Falter: Has the Human Game Begun to Play Itself Out?
☆ ☆ ☆ ☆ ☆
Made for Me
☆ ☆ ☆ ☆ ☆
American Moonshot: John F. Kennedy and the Great Space Race
☆ ☆ ☆ ☆ ☆
The Wonderful Things You Will Be
☆ ☆ ☆ ☆ ☆
Good Night, Little Blue Truck
☆ ☆ ☆ ☆ ☆
The Silent Woman (Cat Carlisle, Book 1)
☆ ☆ ☆ ☆ ☆
The Secret Wife: A captivating story of romance, passion and mystery
☆ ☆ ☆ ☆ ☆
Going to School
☆ ☆ ☆ ☆ ☆
House of Shadows: An Enthralling Historical Mystery
☆ ☆ ☆ ☆ ☆
Commander in Cheat: How Golf Explains Trump
☆ ☆ ☆ ☆ ☆
Hurricane Season
☆ ☆ ☆ ☆ ☆
Row, Row, Row Your Boat (Indestructibles Series)
☆ ☆ ☆ ☆ ☆
Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal
☆ ☆ ☆ ☆ ☆
We Are Not Friends (You Are Not Small)
☆ ☆ ☆ ☆ ☆
Can't Make This Stuff Up!: Finding the Upside to Life's Downs
☆ ☆ ☆ ☆ ☆
Secrets Between Us: An absolutely gripping psychological thriller
☆ ☆ ☆ ☆ ☆
The Book Club
☆ ☆ ☆ ☆ ☆
Clean & Lean: 30 Days, 30 Foods, a New You!
☆ ☆ ☆ ☆ ☆
Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs
☆ ☆ ☆ ☆ ☆
Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell
☆ ☆ ☆ ☆ ☆

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free

Stay in touch.

© 2026 AMPLE READS