Cantitate/Preț
Produs

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings: Lecture Notes in Computer Science, cartea 10580

Editat de Dang Van Hung, Deepak Kapur
en Limba Engleză Paperback – 17 sep 2017
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33388 lei

Preț vechi: 41734 lei
-20% Nou

Puncte Express: 501

Preț estimativ în valută:
6390 6662$ 5310£

Carte tipărită la comandă

Livrare economică 20 martie-03 aprilie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319677286
ISBN-10: 3319677284
Pagini: 305
Ilustrații: XX, 305 p. 58 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.46 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland

Cuprins

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

Caracteristici

Includes supplementary material: sn.pub/extras