Perspectives of Systems Informatics Perspectives of Systems Informatics

Perspectives of Systems Informatics

Amir Pnueli và các tác giả khác
    • 99,99 US$
    • 99,99 US$

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2010
27 tháng 1
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
439
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
7,8
Mb
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