|
|
books
| book details |
Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Edited by Robert Mark Hierons, Edited by Mohamed Mosbah
|
| on special |
normal price: R 1 687.95
Price: R 1 518.95
|
| book description |
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.Â
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 26 Oct 2019
Language |
Format | Paperback / softback
Pages | 411
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0303-2504-6
Readership Age |
BISAC | computers / computer science
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 154.95
Price | R 1 938.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
Matt Dinniman
Paperback / softback
480 pages
was: R 522.95
now: R 459.95
|
|
|
|
|
