Theoretical Aspects of Computing – ICTAC 2019 de Robert Mark Hierons

Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings: Lecture Notes in Computer Science, cartea 11884

Robert Mark Hierons

Mohamed Mosbah

en Limba Engleză Paperback – 26 oct 2019

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.
The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.
The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 390^.18 lei
20%

Preț: 461^.65 lei
20%

Preț: 461^.32 lei
20%

Preț: 461^.77 lei
20%

Preț: 527^.36 lei
20%

Preț: 497^.04 lei
20%

Preț: 461^.52 lei
20%

Preț: 390^.35 lei
20%

Preț: 496^.64 lei
20%

Preț: 461^.52 lei
20%

Preț: 391^.14 lei
15%

Preț: 461^.85 lei
20%

Preț: 389^.72 lei
20%

Preț: 461^.06 lei
20%

Preț: 390^.69 lei
20%

Preț: 252^.15 lei
20%

Preț: 391^.14 lei
20%

Preț: 532^.54 lei
20%

Preț: 461^.83 lei
20%

Preț: 255^.91 lei
20%

Preț: 498^.46 lei
20%

Preț: 497^.55 lei
20%

Preț: 499^.36 lei
20%

Preț: 390^.12 lei
20%

Preț: 391^.20 lei
20%

Preț: 390^.35 lei
20%

Preț: 391^.20 lei
20%

Preț: 392^.64 lei
20%

Preț: 389^.90 lei
20%

Preț: 639^.72 lei
20%

Preț: 461^.65 lei
20%

Preț: 462^.05 lei
15%

Preț: 388^.50 lei
5%

Preț: 516^.27 lei
20%

Preț: 390^.94 lei
20%

Preț: 391^.86 lei
20%

Preț: 389^.85 lei
20%

Preț: 498^.32 lei
20%

Preț: 462^.67 lei
20%

Preț: 460^.98 lei
20%

Preț: 424^.26 lei
20%

Preț: 535^.77 lei
15%

Preț: 535^.92 lei
20%

Preț: 532^.28 lei
20%

Preț: 400^.17 lei
20%

Preț: 403^.00 lei
20%

Preț: 461^.57 lei
20%

Preț: 498^.50 lei
20%

Preț: 461^.83 lei
20%

Preț: 249^.95 lei

Specificații

ISBN-13: 9783030325046
ISBN-10: 3030325040
Pagini: 411
Ilustrații: XI, 411 p. 1919 illus., 379 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.59 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Cham, Switzerland