國立虎尾科技大學 |

Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Theoretical Aspects of Computing – ICTAC 2016/ edited by Augusto Sampaio, Farn Wang.
Reminder of title:	13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
other author:	Sampaio, Augusto.
Description:	XVII, 479 p. 108 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computer logic. -
Online resource:	https://doi.org/10.1007/978-3-319-46750-4
ISBN:	9783319467504

Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
Theoretical Aspects of Computing – ICTAC 201613th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /[electronic resource] :edited by Augusto Sampaio, Farn Wang. - 1st ed. 2016. - XVII, 479 p. 108 illus.online resource. - Theoretical Computer Science and General Issues ;9965. - Theoretical Computer Science and General Issues ;9163.

Topical sections on program verification -- Design, synthesis and testing -- Calculi -- Specifications -- Composition and transformation -- Automata -- Temporal logics -- Tool and short papers.

This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.

ISBN: 9783319467504

Standard No.: 10.1007/978-3-319-46750-4doiSubjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 005.1015113

Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
LDR:02290nam a22004335i 4500 001 973382
003 DE-He213
005 20200701223812.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319467504 $9 978-3-319-46750-4
024 7 $a 10.1007/978-3-319-46750-4 $2 doi
035 $a 978-3-319-46750-4
050 4 $a QA76.9.L63
050 4 $a QA76.5913
072 7 $a UM $2 bicssc
072 7 $a COM051000 $2 bisacsh
072 7 $a UM $2 thema
072 7 $a UYF $2 thema
082 0 4 $a 005.1015113 $2 23
245 1 0 $a Theoretical Aspects of Computing – ICTAC 2016 $h [electronic resource] : $b 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / $c edited by Augusto Sampaio, Farn Wang.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XVII, 479 p. 108 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 9965
505 0 $a Topical sections on program verification -- Design, synthesis and testing -- Calculi -- Specifications -- Composition and transformation -- Automata -- Temporal logics -- Tool and short papers.
520 $a This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.
650 0 $a Computer logic. $3 786340
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Software engineering. $3 562952
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 1 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
700 1 $a Sampaio, Augusto. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1268442
700 1 $a Wang, Farn. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 675734
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319467498
776 0 8 $i Printed edition: $z 9783319467511
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-46750-4
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)