Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Theoretical Aspects of Computing – ICTAC 2016
- 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
Engelsk Paperback
Theoretical Aspects of Computing – ICTAC 2016
- 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings
Engelsk Paperback

478 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog

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.

Product detaljer
Sprog:
Engelsk
Sider:
479
ISBN-13:
9783319467498
Indbinding:
Paperback
Udgave:
ISBN-10:
3319467492
Udg. Dato:
22 sep 2016
Længde:
0mm
Bredde:
155mm
Højde:
235mm
Forlag:
Springer International Publishing AG
Oplagsdato:
22 sep 2016
Forfatter(e):
Kategori sammenhænge