Tools and Algorithms for the Construction and Analysis by Dirk Beyer PAPERBACK

Springer Nature Switzerland AG

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 6\u201311, 2019, Proceedings, Part III\nby Dirk Beyer\nPaperback\nEnglish\n\nDelivery\nUsually delivered in 2\u20133 working days (dispatched today if ordered before 3pm).\n\nBrand new copy from BookCurl \u2013 the UK independent online bookseller.\n\n------------------------------\nBook details\n------------------------------\nAuthor: Dirk Beyer\nTitle: 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 6\u201311, 2019, Proceedings, Part III\nFormat: Paperback\nLanguage: English\nTopic: Mathematical theory of computation\nPublisher: Springer Nature Switzerland AG\nPublication year: 2019\nEdition: 1st ed. 2019\nISBN-13: 9783030175016\nISBN-10: 3030175014\nRRP: \u00A344.99\n\n------------------------------\nDescription\n--------.