Montant total (1 article articles) :
Destination de la commande :
algebraic specification (199 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (199)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
Particularités
- Ed. originale (8)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (2)
- Avec images (85)
- Sans impressions à la demande (138)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Algebraic System Specification and Development: A Survey and Annotated Bibliography (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,70
Expédition à EUR 6,08
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
CASL User Manual: Introduction to Using the Common Algebraic Specification Language (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,95
Expédition à EUR 6,08
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. NO CD-ROM. Slight library sticker removal dammage to cover. Ex-library paperback in nice condition with the usual markings and attachments.
-
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,84
Expédition à EUR 6,08
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Nondeterminism in Algebraic Specification and Algebraic Programs
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 17,70
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Algebraic System Specification and Development: A Survey and Annotated Bibliography - Lecture Notes in Computer Science 501 (Lecture Notes in Computer Science 501)
Langue: anglais
Edité par Springer-Verlag, Berlin, 1991
ISBN 10 : 0387540601 ISBN 13 : 9780387540603
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,96
Expédition à EUR 14,40
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : 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 in Object Oriented Programming Environments (Lecture Notes in Computer Science 562)
Langue: anglais
Edité par Springer-Verlag, Berlin, 1992
ISBN 10 : 0387549722 ISBN 13 : 9780387549729
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,96
Expédition à EUR 14,40
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : 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 Specification Techniques and Tools for Software Development: The ACT Approach (Amast Computing)
Langue: anglais
Edité par World Scientific Publishing Company, 1993
ISBN 10 : 9810212275 ISBN 13 : 9789810212278
EUR 7,33
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
-
Algebraic Specification Techniques & Tools for Software Development : The ACT Approach
Vendeur : BookOrders, Russell, IA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 22,41
Expédition à EUR 3,48
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHard Cover. Etat : Acceptable. Etat de la jaquette : 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.
-
Fundamentals of Algebraic Specification 2: Module Specifications and Constraints.
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 12,95
Expédition à EUR 12,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au paniergebundene Ausgabe. Etat : Gut. 427 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 850.
-
Algebraic Specification
Langue: anglais
Edité par ACM Press (a Division of the Association for Computing Machinery), New York, New York, U.S.A., 1989
ISBN 10 : 0201416352 ISBN 13 : 9780201416350
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 12,08
Expédition à EUR 14,40
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Very Good. Etat de la jaquette : 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.
-
Fundamentals of algebraic specification 1. Equations and initial semantics. EATCS monographs on theoretical computer sciences 6.
Langue: anglais
Edité par Berlin ; Heidelberg : Springer, 1985
ISBN 10 : 3540137181 ISBN 13 : 9783540137184
Vendeur : Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 19
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : gut. XI, 321 S., Abb., 25 cm, Einband leicht berieben. Sprache: Englisch.
-
Algebraic Specification Techniques in Object Oriented Programming Environments (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 26,87
Expédition à EUR 6,08
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : 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.
-
Language Prototyping: An Algebraic Specification Approach
Langue: anglais
Edité par World Scientific Publishing Co Pte Ltd, 1996
ISBN 10 : 9810227329 ISBN 13 : 9789810227326
EUR 20,42
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. 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.
-
Language Prototyping: An Algebraic Specification Approach
Langue: anglais
Edité par World Scientific Publishing Co Pte Ltd, 1996
ISBN 10 : 9810227329 ISBN 13 : 9789810227326
EUR 20,42
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierNo jacket. Etat : 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
Langue: anglais
Edité par World Scientific Publishing Co Pte Ltd, 1996
ISBN 10 : 9810227329 ISBN 13 : 9789810227326
EUR 20,42
Expédition à EUR 16,50
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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.
-
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Eatcs Monographs on Theoretical Computer Science, Vol 6)
Langue: anglais
Edité par Secaucus, New Jersey, U.S.A.: Springer Verlag, 1985
ISBN 10 : 0387137181 ISBN 13 : 9780387137186
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,53
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Algebraic Foundations of Systems Specification
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 31,45
Expédition à EUR 7,49
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. xii + 616 57 Figures.
-
CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION (Amast Computing)
Langue: anglais
Edité par World Scientific Publishing Comp, 1998
ISBN 10 : 9810235135 ISBN 13 : 9789810235130
Vendeur : suffolkbooks, Center moriches, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,85
Expédition à EUR 3,47
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Good. Fast Shipping - Safe and Secure 7 days a week!
-
Algebraic Foundations of Systems Specification
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 36,33
Expédition à EUR 3,47
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. xii + 616 1st Edition.
-
Nondeterminism in Algebraic Specification and Algebraic Programs
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 36,58
Expédition à EUR 3,47
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 253.
-
Nondeterminism in Algebraic Specification and Algebraic Programs
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 32,74
Expédition à EUR 7,49
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 253.
-
Algebraic specification. ACM Press frontiers series.
Langue: anglais
Edité par Wokingham, Addison-Wesley, 1989
ISBN 10 : 0201416352 ISBN 13 : 9780201416350
Vendeur : Wissenschaftliches Antiquariat Köln Dr. Sebastian Peters UG, Köln, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 29
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : sehr gut. XIII, 397 S., Abb., 23 cm, Einbandecke leicht gestoßen. Sprache: Englisch.
-
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
Vendeur : Labyrinth Books, Princeton, NJ, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 36,73
Expédition à EUR 3,92
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good.
-
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,56
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Algebraic System Specification and Development - A Survey and Annotated Bibliography
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,56
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
-
Nondeterminism in Algebraic Specification and Algebraic Programs
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 32,70
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 253.
-
Algebraic Foundations of Systems Specification
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 32,99
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. xii + 616.
-
Algebraic specification of communication protocols / edited by S. Mauw, G.J. Veltink
Livre 28 sur 40 : Cambridge Tracts in Theoretical Computer ScienceLangue: anglais
Edité par Cambridge : Cambridge University Press, 1993
ISBN 10 : 0521418836 ISBN 13 : 9780521418836
Vendeur : MW Books, New York, NY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 44,82
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierFirst 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. Item is Shipped from Ireland or US locations.
-
Algebraic System Specification and Development
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 37,35
Expédition à EUR 7,49
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. pp. 98.
-
Algebraic specification of communication protocols / edited by S. Mauw, G.J. Veltink
Livre 28 sur 40 : Cambridge Tracts in Theoretical Computer ScienceLangue: anglais
Edité par Cambridge : Cambridge University Press, 1993
ISBN 10 : 0521418836 ISBN 13 : 9780521418836
Edition originale
EUR 30
Expédition à EUR 13,95
Expédition depuis Irlande vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierFirst 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. Item is Shipped from Ireland or US locations.
