Del 10742
Perspectives of System Informatics
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
AvAndrei Voronkov,Alexander K. Petrenko
E-bok
Engelska, 2018708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.
The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Edmund M. Clarke
E-bok
2010708 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Nikolaj Bjorner
E-bok
2012734 kr
Perspectives of System Informatics
Andrei Voronkov, A.P. Ershov Institute of Informatics Systems
Häftad, 2015
559 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Robert Nieuwenhuis
E-bok
20031 459 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Andrei Voronkov, Moshe Vardi
E-bok
2003708 kr