Languages
Jump To : Overview | Titles | Subjects

Tarlecki, Andrzej.

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); Kurz, Alexander.; Lenisa, Marina.; SpringerLink (Online service); Tarlecki, Andrzej. (Language materials, printed)
Foundations of algebraic specification and formal software development by: Tarlecki, Andrzej.; SpringerLink (Online service); Sannella, Donald. (Language materials, printed)
Computer science logic = 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings / by: European Association for Computer Science Logic. (2004 :); Marcinkowski, Jerzy, (1965-); Tarlecki, Andrzej.; SpringerLink (Online service) (Language materials, printed)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings / by: Hayes, Ian J.; Tarlecki, Andrzej.; SpringerLink (Online service); Fitzgerald, John.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
 
 
Change password
Login