Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014 : Proceedings /

Colección de ponencias presentadas en la décima cuarta Conferencia Internacional sobre Métodos Algebraicos y Relacionales en Ciencias de la Computación, celebrada en Marienstatt, Alemania, en abril-mayo de 2014. Los artículos están estructurados en campos específicos sobre álgebras de Kleene, concur...

Mô tả đầy đủ

Chi tiết về thư mục

Tác giả của công ty:	International Conference on Relational and Algebraic Methods in Computer Science ( Marienstatt, Alemania)
Tác giả khác:	Höfner, Peter (edición) (edición)
Định dạng:	Hội nghị đang tiến hành Sách
Ngôn ngữ:	Tiếng Anh
Được phát hành:	Cham, Suiza : Springer, 2014, c2014
Loạt:	(Lecture Notes in Computer Science ; 8428)
Những chủ đề:	Ingeniería de Software Programación (Software) Lenguajes de Programación Lógica Algebraica Lenguaje Matemático Lenguajes Formales Lógica Matemática - > Congresos - > Tema Principal Lógica Formal Ingeniería Computacional Matemáticas
Truy cập trực tuyến:	Ver documento en línea
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!