Montant total (1 article articles) :
Destination de la commande :
feijs (66 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (66)
- 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
- Neuf (45)
- Comme neuf, Très bon ou Bon (8)
- Assez bon ou satisfaisant (10)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (3)
Particularités
- Ed. originale (3)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (18)
- Sans impressions à la demande (47)
Langue (3)
Livraison gratuite
Pays
Evaluation du vendeur
-
Notations for Software Design
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,29
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 425 pp., ex library, else textually clean and tight, softcover. - 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.
-
Algebraic Methods II (2): Theory, Tools, and Applications (Lecture Notes in Computer Science 490)
Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,22
Autre deviseEUR 9,20 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft cover. Etat : Very Good. pp.vii, 431 pages, a very good plus paperback, from a uk university library [0387539123].
-
Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science 490)
Edité par Springer-Verlag, Berlin, 1991
ISBN 10 : 0387539123 ISBN 13 : 9780387539126
Langue: anglais
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,95
Autre deviseEUR 10,92 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 490; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Traces of sticker residue across spine head; 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.
-
Britannica: Mathematics in Context - Insights into Data, Teacher's Guide (Data Analysis & Probability)
Edité par HOLT, RINEHART AND WINSTON, 2006
ISBN 10 : 0030398339 ISBN 13 : 9780030398339
Langue: anglais
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 10,39
Autre deviseEUR 9,20 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
Notations for Software Design
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994
ISBN 10 : 3540199020 ISBN 13 : 9783540199021
Langue: anglais
EUR 22,50 expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
A Formalisation of Design Methods: A Gamma-Calculus Approach to Systems Design With an Application to Text Editing
Edité par Ellis Horwood Ltd , Publisher, 1993
ISBN 10 : 0131061135 ISBN 13 : 9780131061132
Langue: anglais
EUR 22,50 expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Notations for software design / by Loe M. G. Feijs, Hans B. M. Jonkers and Cornelis A. Middelburg / Formal approaches to computing and information technology
Edité par London ; Berlin ; Heidelberg ; New York ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10 : 3540199020 ISBN 13 : 9783540199021
Langue: anglais
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 14,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. XII, 425 S. : graph. Darst. ; 24 cm Like new. Unread book. --- Neuwertiger Zustand. Ungelesenes Buch. 9783540199021 Sprache: Deutsch Gewicht in Gramm: 771 Softcover reprint of the original 1st ed. 1994.
-
Teacher's Guide for Grade 6 -Mathematics in Context Summer School Program
Edité par National Science Foundation, 2001
Vendeur : Lot O'Books, Norfolk, VA, Etats-Unis
Évaluation du vendeur 3 sur 5 étoiles
EUR 9,60
Autre deviseEUR 4,23 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSpiral-bound. Etat : Very Good. ***GREAT CONDITION***CLEAN PAGES*** light edge wear. We specialize in non-fiction books. Follow us on Facebook and Instagram.
-
TC 2 Working Conference on Program Specification and Transformation / April 15-17, Bad Tölz, F. R. G. Transformational design: an annotated example
Edité par München : Technische Universität no Year.
Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 14,95 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. 23 p. Good condition. Reading pages are clean and without marks. Book shows slight signs of storage and usage. Otherwise good exemplar. Sprache: Englisch Gewicht in Gramm: 1000.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Edité par Cambridge University Press, 2005
ISBN 10 : 0521435927 ISBN 13 : 9780521435925
Langue: anglais
Vendeur : Labyrinth Books, Princeton, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,31
Autre deviseEUR 3,82 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good.
-
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 43,96
Autre deviseEUR 5,93 expédition vers 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.
-
Formal Specification and Design
Edité par Cambridge University Press, 1992
ISBN 10 : 0521434572 ISBN 13 : 9780521434577
Langue: anglais
EUR 22,50 expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
EUR 6,41
Autre deviseEUR 45 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,04
Autre deviseEUR 7,62 expédition vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 48,04
Autre deviseEUR 7,62 expédition vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,42
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,42
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Edité par Cambridge University Press, 2005
ISBN 10 : 0521435927 ISBN 13 : 9780521435925
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,24
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Edité par Cambridge University Press, 2005
ISBN 10 : 0521435927 ISBN 13 : 9780521435925
Langue: anglais
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,12
Autre deviseEUR 7,62 expédition vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
-
Formal Specification and Design (Paperback)
Edité par Cambridge University Press, Cambridge, 2005
ISBN 10 : 0521435927 ISBN 13 : 9780521435925
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 68,17
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants, and black-box correctness are also presented. More advanced ideas, for example, Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasized throughout so the book will be an excellent choice for courses in these areas. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,18
Autre deviseEUR 13,77 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 58,18
Autre deviseEUR 13,77 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Edité par Cambridge University Press, 2005
ISBN 10 : 0521435927 ISBN 13 : 9780521435925
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,73
Autre deviseEUR 13,77 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Edité par Cambridge University Press 2008-08-21, 2008
ISBN 10 : 0521435927 ISBN 13 : 9780521435925
Langue: anglais
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 60,39
Autre deviseEUR 17,81 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
-
Notations for Software Design
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 78,02
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 440.
-
A Formalisation of Design Methods: A Gamma-Calculus Approach to Systems Design With an Application to Text Editing Feijs, L. M. G.
Vendeur : Librairie Parrêsia, Figeac, France
Évaluation du vendeur 4 sur 5 étoiles
EUR 50
Autre deviseEUR 32,50 expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Used: Very Good. A Formalisation of Design Methods | L. Feijs | E. Horwood, 1993, in-8 cartonnage éditeur, 502 pages. Couverture propre. Dos solide. Intérieur frais. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Bel état ! [BT37].
-
Formal Specification and Design
Edité par Cambridge University Press CUP, 2005
ISBN 10 : 0521435927 ISBN 13 : 9780521435925
Langue: anglais
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 82,58
Autre deviseEUR 3,38 expédition vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 352.
-
Speelgoed / op ontdekking met je spelende kind
Edité par Uitgeverij Zwijsen België, 2013
ISBN 10 : 9048714311 ISBN 13 : 9789048714315
Langue: néerlandais
Vendeur : Houtman Boeken, Utrecht, Pays-Bas
Évaluation du vendeur 5 sur 5 étoiles
EUR 22,94
Autre deviseEUR 29,95 expédition depuis Pays-Bas vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : fine. 2013, 215pp, nette hardcover.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 79,01
Autre deviseEUR 28,75 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Ajouter au panierPaperback. Etat : Brand New. reprint edition. 437 pages. 9.25x6.10x1.00 inches. In Stock.
-
Formal Specification and Design (Paperback)
Edité par Cambridge University Press, Cambridge, 2005
ISBN 10 : 0521435927 ISBN 13 : 9780521435925
Langue: anglais
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Edition originale
EUR 68,68
Autre deviseEUR 42,54 expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants, and black-box correctness are also presented. More advanced ideas, for example, Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasized throughout so the book will be an excellent choice for courses in these areas. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
