Order Total (1 Item Items):
Shipping Destination:
Feijs (64 results)
Author:
feijs
Refine with Advanced Search
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (64)
- 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
- New (43)
- As New, Fine or Near Fine (10)
- Very Good or Good (9)
- Fair or Poor (No further results match this refinement)
- As Described (2)
Binding
Collectible Attributes
- First Edition (2)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (25)
- Not Print on Demand (41)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Soft cover. Condition: 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)
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Volume 409 Very Good paperback with light shelfwear - NICE! Standard-sized.
-
Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science 490)
Language: English
Published by Springer-Verlag, Berlin, 1991
ISBN 10: 0387539123 ISBN 13: 9780387539126
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 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.
-
Formal Specification and Design
Book 14 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 1992
ISBN 10: 0521434572 ISBN 13: 9780521434577
Hardcover. Condition: 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.
-
Teacher's Guide for Grade 6 -Mathematics in Context Summer School Program
Published by National Science Foundation, 2001
Spiral-bound. Condition: Very Good. ***GREAT CONDITION***CLEAN PAGES*** light edge wear. We specialize in non-fiction books. Follow us on Facebook and Instagram.
-
Notations for Software Design
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 22 (weekend SALE item)* 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.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Notations for software design / by Loe M. G. Feijs, Hans B. M. Jonkers and Cornelis A. Middelburg / Formal approaches to computing and information technology
Language: English
Published by London ; Berlin ; Heidelberg ; New York ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Softcover. 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.
-
Condition: As New. Unread book in perfect condition.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Book 14 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Condition: New.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.23
US$ 15.85 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 69.23
US$ 15.85 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New.
-
Condition: New.
-
Algebraic Methods II: Theory, Tools and Applications
Language: English
Published by Springer Berlin / Heidelberg, 1991
ISBN 10: 3540539123 ISBN 13: 9783540539124
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.
-
Speelgoed / Speel goed / op ontdekking met je spelende kind
Language: Dutch
Published by Uitgeverij Zwijsen België, 2013
ISBN 10: 9048714311 ISBN 13: 9789048714315
Condition: fine. 2013, 215pp, nette hardcover.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Book 14 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 73.43
US$ 15.85 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Book 14 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521435927 ISBN 13: 9780521435925
US$ 72.36
US$ 20.50 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback. Condition: New.
-
Feb 01, 1993. Condition: 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].
-
Condition: New. pp. 440.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Book 14 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2008
ISBN 10: 0521435927 ISBN 13: 9780521435925
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 352 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 19. Weight in Grams: 560. . 2008. Pbk Version ed. paperback. . . . .
-
Formal Specification and Design
Book 14 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press CUP, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Condition: New. pp. 352.
-
US$ 93.71
US$ 16.54 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 437 pages. 9.25x6.10x1.00 inches. In Stock.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Book 14 of 40: Cambridge Tracts in Theoretical Computer ScienceLanguage: English
Published by Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Condition: New. The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 352 pages, black & white illustrations. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 19. Weight in Grams: 560. . 2008. Pbk Version ed. paperback. . . . . Books ship from the US and Ireland.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data abstraction and the structured specification, validation and analysis of data structures. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, An Integrated Formal Approach to Industrial Software Development, held in Mierlo, The Netherlands, September 1989. The volume includes five invited contributions based on workshop talks given by A. Finkelstein, P. Klint, C.A. Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by members of the METEOR team are based on talks given at the workshop. The workshop was a successor to an earlier one held in Passau, Germany, June 1987, the proceedings of which were published as Lecture Notes in Computer Science, Vol. 394.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Notations for Software Design aims to explain formal specification and design to practitioners in software development, and to set out the ingredients of a sound software design process. It examines COLD-1, which is currently being implemented by Philips in many of its business centres. The fact that it is a wide-spectrum language which supports many styles of specification makes it an excellent basis for the volume. It also examines some widely-used informal techniques, such as Venn diagrams and Petri nets, thus creating a strong link between current and future practice. Rather than proposing new pictorial notations the authors place existing ones into a coherent framework, and explain practical ways of exploiting them in conjunction with COLD-1.
-
Taschenbuch. Condition: Neu. Algebraic Methods II: Theory, Tools and Applications | Jan A. Bergstra (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540539124 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
US$ 137.66
US$ 33.08 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Condition: As New. Unread book in perfect condition.
