Perspectives of System Informatics
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Herausgegeben:Petrenko, Alexander K.; Voronkov, Andrei
Perspectives of System Informatics
11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Herausgegeben:Petrenko, Alexander K.; Voronkov, Andrei
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Lectures on Runtime Verification48,99 €
- Verified Software. Theories, Tools, and Experiments37,99 €
- Functional and Logic Programming37,99 €
- Fundamental Approaches to Software Engineering37,99 €
- Graph Transformation37,99 €
- Conceptual Modeling37,99 €
- Computer Aided Verification37,99 €
-
-
-
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.
- Produktdetails
- Theoretical Computer Science and General Issues 10742
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-319-74312-7
- 1st ed. 2018
- Seitenzahl: 444
- Erscheinungstermin: 18. Januar 2018
- Englisch
- Abmessung: 235mm x 155mm x 24mm
- Gewicht: 669g
- ISBN-13: 9783319743127
- ISBN-10: 3319743120
- Artikelnr.: 50309161
- Theoretical Computer Science and General Issues 10742
- Verlag: Springer / Springer International Publishing / Springer, Berlin
- Artikelnr. des Verlages: 978-3-319-74312-7
- 1st ed. 2018
- Seitenzahl: 444
- Erscheinungstermin: 18. Januar 2018
- Englisch
- Abmessung: 235mm x 155mm x 24mm
- Gewicht: 669g
- ISBN-13: 9783319743127
- ISBN-10: 3319743120
- Artikelnr.: 50309161