Algebraic Specification (207 results)

Algebraic System Specification and Development: A Survey and Annotated Bibliography - Lecture Notes in Computer Science 501
Bidoit, M.; Kreowski, H. -J.; Lescanne, P.; Orejas, F. & Sannella, D. (Edited by)
- Softcover
Seller: G. & J. CHESTERS, TAMWORTH, United KingdomG. & J. CHESTERS
Contact seller5-star sellerCondition: Used - Very good
£ 4.10
£ 7.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Soft cover. Condition: Very Good. pp.viii, 98 pages, a very good paperback, from a uk university [0387540601].

- Hardcover
Seller: Richard J Barbrick, Bloomington, IN, U.S.A.Richard J Barbrick
Contact seller5-star sellerCondition: Used - Good
£ 12.40
£ 4.26 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. Hardcover, dust jacket as issued in Good condition. Clean pages. Good binding. Ships fast and guaranteed well protected with domestic tracking.

- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
£ 6.71
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. 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)
Bidoit, M.; Kreowski, H. -J.; Lescanne, P.; Orejas, F. & Sannella, D. (eds.)
- Softcover
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
£ 6.71
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. 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.

- Hardcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
£ 5.48
£ 14.21 shippingShips from France to U.S.A.Quantity: 1 available
Hardcover. 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 organizatio…ns.

Language: English
Published by World Scientific Publishing Co Pte Ltd, 1996
- Hardcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Fine
£ 5.75
£ 14.21 shippingShips from France to U.S.A.Quantity: 1 available
Hardcover. 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 i…tem's net price to charity organizations.

Language: English
Published by ACM Press (a Division of the Association for Computing Machinery), New York, New York, U.S.A., 1989
- Hardcover
- First Edition
Seller: PsychoBabel & Skoob Books, Didcot, United KingdomPsychoBabel & Skoob Books
Contact seller5-star sellerCondition: Used - Very good
£ 10.18
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
hardcover. Condition: Very Good. 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.

Language: English
Published by Cambridge University Press, 1993
Series: Cambridge Tracts in Theoretical Computer Science, Book 28 of 40. Book 28 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- First Edition
Seller: Tim's Used Books Provincetown Mass., Provincetown, MA, U.S.A.Tim's Used Books Provincetown Mass.
Contact seller5-star sellerCondition: Used - Good
£ 22.54
£ 4.53 shippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: Good. 1st 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 b…ooks at reasonable prices on the same spot since 1991. shelf A/blue.

- Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
£ 31.11
Free ShippingShips within U.S.A.Quantity: 1 available
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.

Language: English
Published by Cambridge : Cambridge University Press, 1993
Series: Cambridge Tracts in Theoretical Computer Science, Book 28 of 40. Book 28 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- First Edition
Seller: MW Books, New York, NY, U.S.A.MW Books
Contact seller5-star sellerCondition: Used
£ 33.04
Free ShippingShips within U.S.A.Quantity: 2 available
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.

- Hardcover
Seller: suffolkbooks, center moriches, NY, U.S.A.suffolkbooks
Contact seller5-star sellerCondition: Used - Good
£ 31.09
£ 3.01 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Good. Fast Shipping - Safe and Secure 7 days a week.

- Hardcover
Seller: Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, GermanyWissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG
Contact seller5-star sellerCondition: Used - Fine
£ 25.73
£ 8.61 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: sehr gut. XIII, 397 S., Abb., 23 cm, Einbandecke leicht gestoßen. Sprache: Englisch.

- Hardcover
Seller: Labyrinth Books, Princeton, NJ, U.S.A.Labyrinth Books
Contact seller5-star sellerCondition: Used - Very good
£ 31.86
£ 3.40 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good.

Algebraic System Specification and Development - A Survey and Annotated Bibliography
Bidoit, M.; Kreowski, H. -J.; Lescanne, P.; Orejas, F. & Sannella, D. (eds.)
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 36.29
Free ShippingShips within U.S.A.Quantity: 1 available
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.

- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 36.29
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 36.57
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: Used
£ 33.95
£ 3.01 shippingShips within U.S.A.Quantity: 1 available
Condition: Used. pp. 98.

- Softcover
Seller: Emile Kerssemakers ILAB, Heerlen, NetherlandsEmile Kerssemakers ILAB
Contact seller5-star sellerCondition: Used
£ 7.98
£ 28.43 shippingShips from Netherlands to U.S.A.Quantity: 1 available
24 cm. original paperback. ISBN 0387540601. references. bibliograhpy, "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 210g.

- Softcover
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: Used
£ 30.82
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: Used. pp. 98.

Language: English
Published by Cambridge : Cambridge University Press, 1993
Series: Cambridge Tracts in Theoretical Computer Science, Book 28 of 40. Book 28 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
- First Edition
Seller: MW Books Ltd., Galway, IrelandMW Books Ltd.
Contact seller5-star sellerCondition: Used
£ 26.62
£ 12.02 shippingShips from Ireland to U.S.A.Quantity: 2 available
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. 1 Kg.

- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
£ 39.73
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

- Softcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: Used
£ 31.75
£ 8.57 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Used. pp. 98.

- Softcover
Seller: Emile Kerssemakers ILAB, Heerlen, NetherlandsEmile Kerssemakers ILAB
Contact seller5-star sellerCondition: Used
£ 15.08
£ 28.43 shippingShips from Netherlands to U.S.A.Quantity: 1 available
23 cm. original paperback. 228 pp. bibliography. index. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 415g.

Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 28 of 40. Book 28 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 46.86
£ 1.99 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 28 of 40. Book 28 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.Lucky's Textbooks
Contact seller5-star sellerCondition: New
£ 45.82
£ 3.01 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.

Language: English
Published by acm Press. Frontier Series
- Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, GermanyAntiquariat Bookfarm
Contact seller5-star sellerCondition: Used
£ 13.76
£ 34.45 shippingShips from Germany to U.S.A.Quantity: 1 available
Hardcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Sprache: Englisch Gewicht in Gramm: 550.

Language: English
Published by Cambridge University Press 12/11/2008, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 28 of 40. Book 28 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
Contact seller5-star sellerCondition: New
£ 50.38
Free ShippingShips within U.S.A.Quantity: 5 available
Paperback or Softback. Condition: New. Algebraic Specification of Communication Protocols. Book.

- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 51.77
Free ShippingShips within U.S.A.Quantity: 1 available
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.

- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 51.77
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Language: English
Published by Cambridge University Press, 2008
Series: Cambridge Tracts in Theoretical Computer Science, Book 28 of 40. Book 28 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 52.08
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.