Importo totale (1 articolo articoli):
Destinazione ordine:
feijs (61 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (61)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (42)
- Come nuovo, Ottimo o Quasi ottimo (9)
- Molto buono o Buono (8)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
Ulteriori caratteristiche
- Prima ed. (3)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (1)
- Con foto (23)
- Non Print on Demand (38)
Lingua (3)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Algebraic Methods II (2): Theory, Tools, and Applications (Lecture Notes in Computer Science 490)
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 7,26
Spedizione EUR 8,09
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: Very Good. pp.vii, 431 pages, a very good plus paperback, from a uk university library [0387539123].
-
Notations for Software Design
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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: Theory, Tools, and Applications (Lecture Notes in Computer Science)
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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)
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 7,99
Spedizione EUR 14,44
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Condizione sovraccoperta: 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.
-
Notations for Software Design
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
AffareEUR 5,55
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: 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.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 1992
ISBN 10: 0521434572 ISBN 13: 9780521434577
AffareEUR 5,84
Spedizione EUR 16,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: 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 / by Loe M. G. Feijs, Hans B. M. Jonkers and Cornelis A. Middelburg / Formal approaches to computing and information technology
Lingua: Inglese
Editore: London ; Berlin ; Heidelberg ; New York ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1994
ISBN 10: 3540199020 ISBN 13: 9783540199021
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
EUR 15,30
Spedizione EUR 14,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. 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
Editore: National Science Foundation, 2001
Spiral-bound. Condizione: Very Good. ***GREAT CONDITION***CLEAN PAGES*** light edge wear. We specialize in non-fiction books. Follow us on Facebook and Instagram.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 65,85
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,02
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,02
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Speelgoed / Speel goed / op ontdekking met je spelende kind
Lingua: Olandese
Editore: Uitgeverij Zwijsen België, 2013
ISBN 10: 9048714311 ISBN 13: 9789048714315
Da: Houtman Boeken, Utrecht, Paesi Bassi
Valutazione del venditore 5 su 5 stelle
EUR 17,19
Spedizione EUR 29,95
Spedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: fine. 2013, 215pp, nette hardcover.
-
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 63,65
Spedizione EUR 13,84
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,69
Spedizione EUR 17,90
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
A Formalisation of Design Methods: A Gamma-Calculus Approach to Systems Design With an Application to Text Editing Feijs, L. M. G.
Da: Librairie Parrêsia, Figeac, Francia
Valutazione del venditore 3 su 5 stelle
EUR 50,00
Spedizione EUR 32,50
Spedito da Francia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloFeb 01, 1993. Condizione: 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].
-
Notations for Software Design
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 440.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,73
Spedizione EUR 14,44
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. reprint edition. 437 pages. 9.25x6.10x1.00 inches. In Stock.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press CUP, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 352.
-
Notations for Software Design
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 89,85
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xii + 425 Illus.
-
EUR 53,49
Spedizione EUR 63,34
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 53,49
Spedizione EUR 63,32
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 50,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 121,41
Spedizione EUR 8,95
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
-
Notations for Software Design (Formal Approaches to Computing and Information Technology)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 113,07
Spedizione EUR 28,89
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Neonatal Monitoring Technologies: Design for Integrated Solutions
Da: Salish Sea Books, Bellingham, WA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. 1466609753 Very Good Minus; Hardcover; Covers are clean and glossy; Ink stamp the bottom textblock edge; The endpapers and all text pages are bright and unmarked; Binding is tight with a straight spine; This book will be stored and delivered in a sturdy cardboard box with foam padding; Large Format (Quatro, 10.75" - 11.75" tall); Light brown and white covers with title in black lettering; 2012, IGI Global Publishing; 536 pages; "Neonatal Monitoring Technologies: Design for Integrated Solutions," by Wei Chen.
-
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 120,21
Spedizione EUR 28,89
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
EUR 42,18
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Formal Specification and Design
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2005
ISBN 10: 0521435927 ISBN 13: 9780521435925
EUR 84,99
Spedizione EUR 63,04
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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. The kernel language is explained in detail, with many examples. Fundamental and advanced methods are also presented. 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.
-
Formal Specification and Design: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Libro 14 di 40: Cambridge Tracts in Theoretical Computer ScienceLingua: Inglese
Editore: Cambridge University Press, 2008
ISBN 10: 0521435927 ISBN 13: 9780521435925
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
EUR 139,84
Spedizione EUR 10,50
Spedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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. . . . .
-
Fractions, Percentages, Decimals and Proportions
Libro 5 di 6: Dutch Design in Mathematics EducationDa: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 202,34
Spedizione EUR 28,89
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
