Tarlecki, Andrzej
Articles populaires de Tarlecki, Andrzej
Afficher toutes les offres-
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings
Marcinkowski, Jerzy; Tarlecki, Andrzej
Prix des articles à partir de
Afficher les 8 offresEUR 15,00
-
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers
Reggio, Gianna; Astesiano, Egidio; Tarlecki, Andrzej
Prix des articles à partir de
Afficher les 9 offresEUR 38,87
-
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Prix des articles à partir de
Afficher les 7 offresEUR 61,10
Rechercher également
Neuf -
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
Tarlecki, Andrzej; Sannella, Donald
Prix des articles à partir de
Afficher les 9 offresEUR 56,03
-
Foundations of Algebraic Specification and Formal Software Development
Sannella, Donald; Tarlecki, Andrzej
Prix des articles à partir de
Afficher les 21 offresEUR 102,25
