Theoretical Aspects of Computing ICTAC 2019 (inbunden)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
411
Utgivningsdatum
2019-10-26
Upplaga
1st ed. 2019
Förlag
Springer Nature Switzerland AG
Medarbetare
Mosbah, Mohamed
Illustrationer
379 Illustrations, color; 1540 Illustrations, black and white; XI, 411 p. 1919 illus., 379 illus. in
Dimensioner
234 x 156 x 22 mm
Vikt
590 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783030325046

Theoretical Aspects of Computing ICTAC 2019

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

av Robert Mark Hierons, Mohamed Mosbah
Häftad,  Engelska, 2019-10-26
582
Köp
Spara som favorit
  • Skickas från oss inom 10-15 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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

Passar bra ihop

  1. Theoretical Aspects of Computing ICTAC 2019
  2. +
  3. Nexus

De som köpt den här boken har ofta också köpt Nexus av Yuval Noah Harari (häftad).

Köp båda 2 för 821 kr

Kundrecensioner

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

Fler böcker av författarna

Robert Mark Hierons, Mohamed Mosbah

Innehållsförteckning

Models and Transition Systems.- Real-Time and Temporal Logics.- Verification and Concurrency.- Privacy and Security.- Equations, Types, and Programming Languages.

Du kanske gillar