Showing 1 - 4 results of 4 for search 'Tarlecki, Andrzej', query time: 0.03s Refine Results
  1. 1
    Foundations of Algebraic Specification and Formal Software Development
    by Sannella, Donald, Tarlecki, Andrzej
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Algebra and Coalgebra in Computer Science Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings /
    Published 2009
    Other Authors: “…Tarlecki, Andrzej…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings /
    Published 2005
    Other Authors: “…Tarlecki, Andrzej…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /
    Published 2007
    Other Authors: “…Tarlecki, Andrzej…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search