Verwandte Artikel zu Recent Trends in Data Type Specification: 10th Workshop...
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... 906 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 44,63
Gratis für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Recent Trends in Data Type Specification: 10th Workshop...
Beispielbild für diese ISBN
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, . Papers (Lecture Notes in Computer Science 906)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Sept. 29 (weekend SALE item)* 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. Bestandsnummer des Verkäufers ZB717421
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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 (lecture Notes In Computer Science, Vol 906)
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-267995
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
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 (lecture Notes In Computer Science, Vol 906)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-90718
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... (Lecture Notes in Computer Science, 906)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020171702
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 5905745-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... (Lecture Notes in Computer Science, 906)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Bestandsnummer des Verkäufers SHUB267995
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Recent Trends in Data Type Specification
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 540. Bestandsnummer des Verkäufers 263060380
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Recent Trends in Data Type Specification
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 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. Bestandsnummer des Verkäufers 5836099
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Recent Trends in Data Type Specification (Paperback)
ISBN 10: 354059132X
ISBN 13: 9783540591320
Neu
Paperback
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783540591320
Anzahl: 1 verfügbar
Foto des Verkäufers
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
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 5905745
Anzahl: 15 verfügbar