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.
The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 20,31 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoGRATIS gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoLibrería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Condición: Good. 523 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Nº de ref. del artículo: ZB717421
Cantidad disponible: 1 disponibles
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Condición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Nº de ref. del artículo: ABNR-90718
Cantidad disponible: 1 disponibles
Librería: ALLBOOKS1, Direk, SA, Australia
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Nº de ref. del artículo: SHUB267995
Cantidad disponible: 1 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: Used. pp. 540. Nº de ref. del artículo: 263060380
Cantidad disponible: 1 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop. Nº de ref. del artículo: 9783540591320
Cantidad disponible: 1 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: Used. pp. 540 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5836099
Cantidad disponible: 1 disponibles
Librería: moluna, Greven, Alemania
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. Nº de ref. del artículo: 4894953
Cantidad disponible: Más de 20 disponibles
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEJUNE24-267995
Cantidad disponible: 1 disponibles
Librería: California Books, Miami, FL, Estados Unidos de America
Condición: New. Nº de ref. del artículo: I-9783540591320
Cantidad disponible: Más de 20 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: Used. pp. 540. Nº de ref. del artículo: 183060374
Cantidad disponible: 1 disponibles