> Details

Hung, Dang Van [Editor]; Kapur, Deepak [Editor]

Theoretical Aspects of Computing – ICTAC 2017

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book
  • Title: Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
  • Contributor: Hung, Dang Van [Hrsg.]; Kapur, Deepak [Hrsg.]
  • imprint: Cham: Springer, 2017
  • Published in: Lecture notes in computer science ; 10580
    Bücher
    Computer Science
  • Extent: Online-Ressource (XX, 305 p. 58 illus, online resource)
  • Language: English
  • DOI: 10.1007/978-3-319-67729-3
  • ISBN: 9783319677293
  • Identifier:
  • Keywords: Theoretische Informatik
    Softwareentwicklung > Programmverifikation > Softwaretest > Formale Methode
  • Origination:
  • Footnote:
  • Description: This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security

    Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security