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...

תיאור מלא

מידע ביבליוגרפי

מחבר תאגידי:	International Conference on Relational and Algebraic Methods in Computer Science ( Marienstatt, Alemania)
מחברים אחרים:	Höfner, Peter (edición) (edición)
פורמט:	Procedimiento de la conferencia ספר
שפה:	אנגלית
יצא לאור:	Cham, Suiza : Springer, 2014, c2014
סדרה:	(Lecture Notes in Computer Science ; 8428)
נושאים:	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
גישה מקוונת:	Ver documento en línea
תגים:	הוספת תג אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!