Perspectives of System Informatics

12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

AvNikolaj Bjørner,Irina Virbitskaite

Häftad, Engelska, 2019

Del 11964 i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions.

Produktinformation

Utgivningsdatum:2019-12-14
Mått:155 x 235 x 16 mm
Vikt:435 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:263
Förlag:Springer Nature Switzerland AG
ISBN:9783030374860

Utforska kategorier

Innehållsförteckning

Mathematics of Computing.- Information Systems.- Formal Languages.- Automata Theory.- Algebraic Language Theory.- Logic.- Semantics and Reasoning.- Architectures.- Parallel Architectures.- Software and its engineering.- Document management and text processing.