Order Total (1 Item Items):
Shipping Destination:
Algebraic Specification (206 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (206)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
Collectible Attributes
- First Edition (9)
- Signed (No further results match this refinement)
- Dust Jacket (2)
- Seller-Supplied Images (88)
- Not Print on Demand (142)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Algebraic System Specification and Development: A Survey and Annotated Bibliography - Lecture Notes in Computer Science 501
Language: English
Published by Springer-Verlag, Berlin, 1991
ISBN 10: 0387540601 ISBN 13: 9780387540603
Soft cover. Condition: Very Good. pp.viii, 98 pages, a very good paperback, from a uk university [0387540601].
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Hardcover. Condition: Good. Hardcover, dust jacket as issued in Good condition. Clean pages. Good binding. Ships fast and guaranteed well protected with domestic tracking.
-
Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science 562)
Language: English
Published by Springer-Verlag, Berlin, 1992
ISBN 10: 0387549722 ISBN 13: 9780387549729
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 562; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Algebraic System Specification and Development: A Survey and Annotated Bibliography - Lecture Notes in Computer Science 501 (Lecture Notes in Computer Science 501)
Language: English
Published by Springer-Verlag, Berlin, 1991
ISBN 10: 0387540601 ISBN 13: 9780387540603
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 501; Ex-Library. Previous owner's stickers on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Sound, clean book with tight binding. ADG. Ex-Library.
-
Algebraic Specification Techniques and Tools for Software Development: The ACT Approach (Amast Computing)
Language: English
Published by World Scientific Publishing Company, 1993
ISBN 10: 9810212275 ISBN 13: 9789810212278
US$ 7.83 10% offUS$ 7.05
US$ 19.33 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Language Prototyping: An Algebraic Specification Approach
Language: English
Published by World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
US$ 7.83 10% offUS$ 7.05
US$ 19.33 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Damaged dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Language Prototyping: An Algebraic Specification Approach
Language: English
Published by World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
US$ 7.83 10% offUS$ 7.05
US$ 19.33 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketNo jacket. Condition: Très bon. Ancien livre de bibliothèque. Sans jaquette. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. No dust jacket. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Language Prototyping: An Algebraic Specification Approach
Language: English
Published by World Scientific Publishing Co Pte Ltd, 1996
ISBN 10: 9810227329 ISBN 13: 9789810227326
US$ 7.83 10% offUS$ 7.05
US$ 19.33 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1996. Tome 5. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Damaged dust jacket. Edition 1996. Volume 5. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Hard Cover. Condition: Acceptable. Dust Jacket Condition: Acceptable. AMST Series In Computing Vol. 1. The interior is clean and tight. Binding is good. Jacket shows slight wear. Cover is good. 237 pages including index.
-
Algebraic Specification
Language: English
Published by ACM Press (a Division of the Association for Computing Machinery), New York, New York, U.S.A., 1989
ISBN 10: 0201416352 ISBN 13: 9780201416350
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
First Edition
US$ 14.19
US$ 16.91 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to baskethardcover. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. First Edition, First Printing. numerous figures, slightly wear to head of spine and corners of cover, text and illustrations are clean, bright and tight throughout. Ex-Library.
-
CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION (Amast Computing)
Language: English
Published by World Scientific Publishing Company, 1998
ISBN 10: 9810235135 ISBN 13: 9789810235130
US$ 15.07 10% offUS$ 13.57
US$ 19.33 shipping
Ships from France to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1998. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1998. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Algebraic Specification of Communication Protocols (Cambridge Tracts in Theoretical Computer Science, Series Number 36)
Book 28 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1993
ISBN 10: 0521418836 ISBN 13: 9780521418836
Seller: Tim's Used Books Provincetown Mass., Provincetown, MA, U.S.A.
Seller rating 5 out of 5 stars
First Edition
Trace older-book odor from years of storage; not too bad really. No marks in text. Not a library book. One copy only of this title. Ships in a cardboard enclosure. THE BOOK YOU SEE DESCRIBED IS THE COPY YOU WILL RECEIVE. Tim's Used Books, open shop in Provincetown, Mass., providing good books at reasonable prices on the same spot since 1991. shelf A/blue.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Algebraic specification of communication protocols / edited by S. Mauw, G.J. Veltink
Book 28 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge : Cambridge University Press, 1993
ISBN 10: 0521418836 ISBN 13: 9780521418836
First Edition
First Edition. Near fine copy in the original colour-printed boards. Slightest suggestion only of dust-dulling to the spine bands and panel edges. Remains particularly well-preserved overall; tight, bright, clean and strong. Physical description; xi, 197 pages. Notes; Includes bibliographical references and indexes. Contents; 1. Introduction / S. Mauw and G.J. Veltink -- 2. Algebraic Specifications in PSF / G.J. Veltink -- 3. Simple Protocols / J.J. van Wamel -- 4. Sliding Window Protocols / J.J. Brunekreef -- 5. The Amoeba Transaction Protocol / J.J. Brunekreef -- 6. Two Simple Protocols for Local Area Networks / J.J. Brunekreef -- 7. The Token Ring Protocol / H. Jacobsson and S. Mauw -- A: The PSF Library -- B: Syntax of PSF. Subjects; Computer network protocols. Algebra. Computer networks ; Specifications. PROTOCOLS. TELECOMMUNICATION / TELECOMMUNICATIONS. NETWORKS CIRCUITS. Computer science. Telecommunication systems. 3 Kg.
-
Condition: New. pp. xii + 616 57 Figures.
-
CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION (Amast Computing)
Language: English
Published by World Scientific Publishing Comp, 1998
ISBN 10: 9810235135 ISBN 13: 9789810235130
hardcover. Condition: Good. Fast Shipping - Safe and Secure 7 days a week!
-
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Condition: New. pp. 253.
-
Condition: New. pp. 253.
-
-
Algebraic specification. ACM Press frontiers series.
Language: English
Published by Wokingham, Addison-Wesley, 1989
ISBN 10: 0201416352 ISBN 13: 9780201416350
Seller: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Germany
Seller rating 5 out of 5 stars
Condition: sehr gut. XIII, 397 S., Abb., 23 cm, Einbandecke leicht gestoßen. Sprache: Englisch.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: 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.
-
Condition: New. pp. 253.
-
Algebraic specification and development. a survey and bibliography.
Language: English
Published by Springer, Heidelberg/New York, 1991
ISBN 10: 3540540601 ISBN 13: 9783540540601
Seller: Emile Kerssemakers ILAB, Heerlen, Netherlands
Seller rating 5 out of 5 stars
24 cm. original paperback. ISBN 0387540601. references. bibliograhpy, "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 210g.
-
Condition: New. pp. 98.
-
Condition: New. pp. 98.
