Amazon cover image
Image from Amazon.com
Image from Google Jackets

Theoretical Aspects of Computing – ICTAC 2017 [electronic resource] : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings / edited by Dang Van Hung, Deepak Kapur.

Contributor(s): Material type: TextTextSeries: Theoretical Computer Science and General Issues ; 10580 | Lecture Notes in Computer Science ; 10580Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017Description: XX, 305 p. 58 illus. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319677293
Subject(s): Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:
  • 005.1015113 23
LOC classification:
  • QA76.9.L63
  • QA76.5913
Online resources:
Contents:
Logics -- Software components and concurrency -- Automata -- SMT solvers and algorithms -- Security.
In: Springer Nature eBookSummary: 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.
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified URL Status Date due Barcode
IMSc Library Link to resource Available EBK14705

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

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India