Gesamtpreis (1 Artikel Artikel):
Versandziel:
feijs (21 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (21)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (11)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (4)
- Gut oder Befriedigend (4)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (2)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (8)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Algebraic Methods II (2): Theory, Tools, and Applications (Lecture Notes in Computer Science 490)
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 7,29
EUR 8,12 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: 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)
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 8,02
EUR 14,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Zustand des Schutzumschlags: 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
Buch 14 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 1992
ISBN 10: 0521434572 ISBN 13: 9780521434577
Hardcover. Zustand: 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.
-
Notations for Software Design
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 29 (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.
-
Notations for software design / by Loe M. G. Feijs, Hans B. M. Jonkers and Cornelis A. Middelburg / Formal approaches to computing and information technology
Sprache: Englisch
Verlag: London ; Berlin ; Heidelberg ; New York ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,73
EUR 13,91 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,73
EUR 13,91 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Algebraic Methods II: Theory, Tools and Applications
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1991
ISBN 10: 3540539123 ISBN 13: 9783540539124
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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
Sprache: Niederländisch
Verlag: Uitgeverij Zwijsen België, 2013
ISBN 10: 9048714311 ISBN 13: 9789048714315
Anbieter: Houtman Boeken, Utrecht, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Zustand: fine. 2013, 215pp, nette hardcover.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Buch 14 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 64,41
EUR 13,91 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 82,53
EUR 14,51 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: 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)
Buch 14 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Algebraic Methods II: Theory, Tools and Applications
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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.
-
Notations for Software Design
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Zustand: 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.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Formal Specification and Design
Buch 14 von 40: Cambridge Tracts in Theoretical Computer ScienceSprache: Englisch
Verlag: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Neonatal Monitoring Technologies: Design for Integrated Solutions
Sprache: Englisch
Verlag: Medical Information Science Reference, 2012
ISBN 10: 1466609753 ISBN 13: 9781466609754
Anbieter: Redux Books, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: New. Hardcover. An unused, unmarked and unblemished copy.; 100% Satisfaction Guaranteed! Ships same or next business day!
-
Neonatal Monitoring Technologies: Design for Integrated Solutions
Sprache: Englisch
Verlag: Medical Info Science Reference, 2012
ISBN 10: 1466609753 ISBN 13: 9781466609754
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 245,59
EUR 13,91 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Design and semantics of form and movement. DeSForM 2013
Verlag: DeSForM, 2015
Anbieter: Concept Books, Veldhoven, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Soft cover. Zustand: Near Fine. Paperback. Proceedings of the DeSForM 2013 conference held in Wuxi, China. Black & white illustrations. 214 pp. 29 x 21 cm.
-
Speelgoed, op ontdekking met je spelende kind.
Sprache: Niederländisch
Verlag: Uitgeverij Zwijsen België, 2013
ISBN 10: 9048714311 ISBN 13: 9789048714315
Anbieter: Frans Melk Antiquariaat, HILVERSUM, Niederlande
Verkäuferbewertung 5 von 5 Sternen
Zwijsen Uitgeverij, 2013. 28 x 23 cm. Gebonden. Hardcover. Met illustraties in kleur. 215 pag. ALS NIEUW [Pedagogiek / Pedagogy ].
