search for books and compare prices
Andrzej Tarlecki has written 6 work(s)
Search for other authors with the same name
displaying 1 to 6 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9783642037405 Cover for 9783540734192 Cover for 9783540230243 Cover for 9783540591320 Cover for 9780387503257
Foundations of Algebraic Specification and Formal Software Development
By Andrzej Tarlecki
See complete details on each edition (1 edition listed)

Paperback:

9783642440656 | Springer-Verlag New York Inc, March 1, 2014, cover price $99.00

Algebra and Coalgebra in Computer Science: Third International Conference, Calco 2009, Udine, Italy, September 7-10, 2009, Proceedings
cover image for 9783642037405
Product Description: This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT. This year the conference was held in Udine, Italy, September 7-10, 2009...read more
By Andrzej Tarlecki (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642037405 | Springer-Verlag New York Inc, October 1, 2009, cover price $129.00 | About this edition: This book constitutes the proceedings of the Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009, formed in 2005 by joining CMCS and WADT.

Automata, Languages and Programming: 34th International Colloquium, Icalp 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
cover image for 9783540734192
By Andrzej Tarlecki (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540734192 | Springer-Verlag New York Inc, October 4, 2007, cover price $209.00

Computer Science Logic: 18th International Workshop, Csl 2004, 13th Annual Conference Of The Eacsl, Karpacz, Poland, September 20-24, 2004, Proceedings
cover image for 9783540230243
Product Description: Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland. The CSL conference series started as the International Workshops on C- puterScienceLogic,andthen,after?vemeetings,becametheAnnualConference of the European Association for Computer Science Logic...read more
By Jerzy Marcinkowski (editor) and Andrzej Tarlecki (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540230243 | Springer Verlag, November 1, 2004, cover price $139.00 | About this edition: Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20-24, 2004 in Karpacz, Poland.

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
cover image for 9783540591320
Product Description: This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994...read more
By Egidio Astesiano (editor), Gianna Reggio (editor) and Andrzej Tarlecki (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540591320 | Springer Verlag, April 1, 1995, cover price $129.00 | About this edition: This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S.

Recent Trends in Data Type Specification: 5th Workshop on Specification of Abstract Data
cover image for 9780387503257
Product Description: The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974...read more
By D. Sannella and Andrzej Tarlecki (editor)
See complete details on each edition (1 edition listed)

Paperback:

9780387503257 | Springer Verlag, December 1, 1988, cover price $54.95 | About this edition: The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh.

displaying 1 to 6 | at end