Relational Methods in Computer Science [Risorsa elettronica] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Cath

• Record Nr.: UNINA990009241520403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2006
• ISBN: 9783540333401
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 3929
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia