Perspectives of Systems Informatics Perspectives of Systems Informatics

Perspectives of Systems Informatics

Amir Pnueli et autres
    • 74,99 €
    • 74,99 €

Description de l’éditeur

This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009.

The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics.

GENRE
Informatique et Internet
SORTIE
2010
27 janvier
LANGUE
EN
Anglais
LONGUEUR
439
Pages
ÉDITIONS
Springer Berlin Heidelberg
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
7,8
Mo
FM 2011: Formal Methods FM 2011: Formal Methods
2011
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019
Theoretical Aspects of Computing – ICTAC 2010 Theoretical Aspects of Computing – ICTAC 2010
2010
Formal Methods and Software Engineering Formal Methods and Software Engineering
2019
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
2022
Perspectives of System Informatics Perspectives of System Informatics
2016