Kapak Resmi
QR Kod

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

Ful tanımlama

Kaydedildi:
Müşterek Yazar: International Conference on Relational and Algebraic Methods in Computer Science ( Marienstatt, Alemania)
Diğer Yazarlar: Höfner, Peter (edición) (edición)
Materyal Türü: Konferans Sunumu Kitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham, Suiza : Springer, 2014, c2014
Seri Bilgileri:(Lecture Notes in Computer Science ; 8428)
Konular:
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
Online Erişim:Ver documento en línea
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Özet: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, concurrentes y formalismos relacionados, razonamiento sobre cálculos y programas, enfoques heterogéneos y categóricos, aplicaciones de métodos algebraicos y relacionales, así como desarrollos con lógicas modales.
Fiziksel Özellikler:1 libro electrónico en línea (XII, 463 p.)
1 recurso en línea
ISBN:978-3-319-06251-8
Erişim:Licencias ilimitadas

Benzer Materyaller