Algebraic specification (208 résultats)

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)
- Couverture souple
Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-UniG. & J. CHESTERS
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 4,90
EUR 8,13 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Soft cover. Etat : Very Good. pp.viii, 98 pages, a very good paperback, from a uk university [0387540601].

- Couverture rigide
Vendeur : Richard J Barbrick, Bloomington, IN, Etats-UnisRichard J Barbrick
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 14,40
EUR 4,95 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Good. Hardcover, dust jacket as issued in Good condition. Clean pages. Good binding. Ships fast and guaranteed well protected with domestic tracking.

- Couverture souple
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-UniPsychoBabel & Skoob Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 8,02
EUR 14,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : 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, cl…ean 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.)
- Couverture souple
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-UniPsychoBabel & Skoob Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 8,02
EUR 14,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : 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.

- Couverture rigide
Vendeur : Ammareal, Morangis, FranceAmmareal
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 6,17
EUR 16,50 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : 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.

- Couverture rigide
Vendeur : Ammareal, Morangis, FranceAmmareal
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 6,49
EUR 16,50 expéditionExpédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : 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.

Langue : anglais
Edité par ACM Press (a Division of the Association for Computing Machinery), New York, New York, U.S.A., 1989
- Couverture rigide
- Édition originale
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-UniPsychoBabel & Skoob Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 12,18
EUR 14,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
hardcover. Etat : 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.

Langue : anglais
Edité par Cambridge University Press, 1993
Série : Cambridge Tracts in Theoretical Computer Science, Livre 28 sur 40. Livre 28 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
- Édition originale
Vendeur : Tim's Used Books Provincetown Mass., Provincetown, MA, Etats-UnisTim's Used Books Provincetown Mass.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 26,17
EUR 5,26 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : 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 books… at reasonable prices on the same spot since 1991. shelf A/blue.

- Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 36,12
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.

Langue : anglais
Edité par Cambridge : Cambridge University Press, 1993
Série : Cambridge Tracts in Theoretical Computer Science, Livre 28 sur 40. Livre 28 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
- Édition originale
Vendeur : MW Books, New York, NY, Etats-UnisMW Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 38,36
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
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.

- Couverture rigide
Vendeur : suffolkbooks, center moriches, NY, Etats-Unissuffolkbooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 36,10
EUR 3,50 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
hardcover. Etat : Good. Fast Shipping - Safe and Secure 7 days a week.

- Couverture rigide
Vendeur : Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, AllemagneWissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 29,00
EUR 10,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : sehr gut. XIII, 397 S., Abb., 23 cm, Einbandecke leicht gestoßen. Sprache: Englisch.

- Couverture rigide
Vendeur : Labyrinth Books, Princeton, NJ, Etats-UnisLabyrinth Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 36,98
EUR 3,94 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Very Good.

Algebraic System Specification and Development - A Survey and Annotated Bibliography
Bidoit, M.; Kreowski, H. -J.; Lescanne, P.; Orejas, F. & Sannella, D. (eds.)
- Couverture souple
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 42,14
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.

- Couverture souple
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 42,14
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 42,45
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 39,42
EUR 3,50 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Used. pp. 98.

- Couverture souple
Vendeur : Emile Kerssemakers ILAB, Heerlen, Pays-BasEmile Kerssemakers ILAB
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 9,00
EUR 33,00 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
24 cm. original paperback. ISBN 0387540601. references. bibliograhpy, "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 210g.

- Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 35,78
EUR 7,55 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Used. pp. 98.

Langue : anglais
Edité par Cambridge : Cambridge University Press, 1993
Série : Cambridge Tracts in Theoretical Computer Science, Livre 28 sur 40. Livre 28 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture rigide
- Édition originale
Vendeur : MW Books Ltd., Galway, IrlandeMW Books Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 30,00
EUR 13,95 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 2 disponible(s)
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.

- Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 46,12
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.

- Couverture souple
Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion
EUR 35,79
EUR 9,95 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Used. pp. 98.

- Couverture souple
Vendeur : Emile Kerssemakers ILAB, Heerlen, Pays-BasEmile Kerssemakers ILAB
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 17,00
EUR 33,00 expéditionExpédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
23 cm. original paperback. 228 pp. bibliography. index. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 415g.

Langue : anglais
Edité par Cambridge University Press, 2008
Série : Cambridge Tracts in Theoretical Computer Science, Livre 28 sur 40. Livre 28 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 54,40
EUR 2,31 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

Langue : anglais
Edité par Cambridge University Press, 2008
Série : Cambridge Tracts in Theoretical Computer Science, Livre 28 sur 40. Livre 28 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-UnisLucky's Textbooks
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 53,19
EUR 3,50 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.

Langue : anglais
Edité par acm Press. Frontier Series
- Couverture rigide
Vendeur : Antiquariat Bookfarm, Löbnitz, AllemagneAntiquariat Bookfarm
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion
EUR 15,50
EUR 40,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
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.

Langue : anglais
Edité par Cambridge University Press 12/11/2008, 2008
Série : Cambridge Tracts in Theoretical Computer Science, Livre 28 sur 40. Livre 28 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 58,49
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 5 disponible(s)
Paperback or Softback. Etat : New. Algebraic Specification of Communication Protocols. Book.

- Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,10
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : 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.

- Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 60,10
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Langue : anglais
Edité par Cambridge University Press, 2008
Série : Cambridge Tracts in Theoretical Computer Science, Livre 28 sur 40. Livre 28 sur 40 - Cambridge Tracts in Theoretical Computer Science
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 60,47
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.