Pensum -10%
Lectures on Runtime Verification
Ezio Bartocci, Yliès Falcone
PocketEngelsk
Del av serien Lecture Notes in Computer Science
Hopp til hovedinnholdet
Programming Languages and Systems
Redigert av Anthony Widjaja Lin, 2019.Del av serien Lecture Notes in Computer Science.
17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.
The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
PocketEngelsk
Normalpris: 649,-
584,-
Spar 65,-
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
Programming Languages and Systems
Redigert av Anthony Widjaja Lin, 2019.Del av serien Lecture Notes in Computer Science.
17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019.
The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
Normalpris: 649,-
584,-
Spar 65,-
PocketEngelsk
Ikke tilgjengelig for Klikk&Hent
Midlertidig tomt på lager
Bestillingsvare. Forventes sendt om ca 20 dager
584,-
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
