Tarlecki, Andrzej

ID:DA02770450

別名: Tarlecki, A. (Andrzej)

同姓同名の著者を検索

検索結果6件中 1-6 を表示

1

Foundations of algebraic specification and formal software development

Donald Sannella, Andrzej Tarlecki

Springer c2012 Monographs in theoretical computer science : an EATCS series

: hbk

所蔵館11館
2

Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings

Lars Arge ... [et al.] (eds.)

Springer c2007 Lecture notes in computer science 4596

所蔵館16館
3

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)

Springer c2005 Lecture notes in computer science 3582

所蔵館11館
4

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

Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki (eds.)

Springer-Verlag c1995 Lecture notes in computer science 906

: Berlin , : New York

所蔵館56館
5

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings

A. Tarlecki (ed.)

Springer-Verlag c1991 Lecture notes in computer science 520

: gw , : us

所蔵館59館
6

Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers

D. Sannella, A. Tarlecki (eds.)

Springer-Verlag c1988 Lecture notes in computer science 332

: gw , : us

所蔵館58館

ページトップへ