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 11 offresEUR 15,00
-
Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
Tarlecki, Andrzej
Prix des articles à partir de
Afficher les 14 offresEUR 39,02
-
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 13 offresEUR 39,98
-
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
Prix des articles à partir de
Afficher les 9 offresEUR 60,65
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 14 offresEUR 55,94
-
Foundations of Algebraic Specification and Formal Software Development
Sannella, Donald; Tarlecki, Andrzej
Prix des articles à partir de
Afficher les 24 offresEUR 77,12
