Theoretical Aspects of Computing - ICTAC 2019 (inbunden)
Fler böcker inom
Format
E-bok
Filformat
EPUB med LCP-kryptering (0.0 MB)
Om LCP-kryptering
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2019-10-25
Förlag
Springer International Publishing
ISBN
9783030325053

Theoretical Aspects of Computing - ICTAC 2019 E-bok

16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings

av Robert Mark Hierons, Mohamed Mosbah
E-bok (LCP),  Engelska, 2019-10-25
746
Billigast på PriceRunner
Ladda ned
Spara som favorit
Läs i Bokus Reader för iOS och Android
Finns även som
Visa alla 1 format & utgåvor
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.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

Robert Mark Hierons, Mohamed Mosbah

Du kanske gillar