Price: $0.99
(as of Dec 29,2024 13:34:15 UTC – Details)
ASIN : B07QB6DFLZ
Publisher : Springer; 1st ed. 2019 edition (April 3, 2019)
Publication date : April 3, 2019
Language : English
File size : 15757 KB
Text-to-Speech : Enabled
Enhanced typesetting : Enabled
X-Ray : Not Enabled
Word Wise : Not Enabled
Print length : 490 pages
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April … Notes in Computer Science Book 11429
Join us in celebrating 25 years of TACAS (Tools and Algorithms for the Construction and Analysis of Systems) at the upcoming TOOLympics event, held as part of ETAPS 2019 in Prague, Czech Republic. This event will showcase the latest tools and algorithms that have been developed to advance the field of system construction and analysis.
The TOOLympics will feature a series of competitions and demonstrations, where participants can showcase their tools and algorithms to a panel of judges and fellow researchers. This is a great opportunity to network with other professionals in the field and gain insights into the latest advancements in system construction and analysis.
Don’t miss this exciting event at ETAPS 2019 in Prague. Stay tuned for more updates and information on how you can participate in the TOOLympics. We look forward to seeing you there!
#Tools #Algorithms #Construction #Analysis #Systems #Years #TACAS #TOOLympics #Held #Part #ETAPS #Prague #Czech #Republic #April #Notes #Computer #Science #Book,ai engineering: building applications with foundation models
