Feijs (58 risultati)
- Brossura
Da: G. & J. CHESTERS, TAMWORTH, , Regno UnitoG. & J. CHESTERS
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 7,28
EUR 8,12 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Soft cover. Condizione: Very Good. pp.vii, 431 pages, a very good plus paperback, from a uk university library [0387539123].
- Brossura
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.Midtown Scholar Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 10,90
EUR 5,25 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Volume 409 Very Good paperback with light shelfwear - NICE! Standard-sized.
- Brossura
Da: PsychoBabel & Skoob Books, Didcot, Regno UnitoPsychoBabel & Skoob Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 8,01
EUR 14,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. 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. Foo…t of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Lingua: Inglese
Editore: Cambridge University Press 1992
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 14 di 40. Libro 14 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Ammareal, Morangis, , FranciaAmmareal
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 6,49
EUR 16,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Hardcover. 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 organizati…ons.
Editore: National Science Foundation 2001
Da: Lot O'Books, Norfolk, VA, U.S.A.Lot O'Books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Molto buono
EUR 10,81
EUR 4,37 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Spiral-bound. Condizione: Very Good. ***GREAT CONDITION***CLEAN PAGES*** light edge wear. We specialize in non-fiction books. Follow us on Facebook and Instagram.
- Brossura
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.Zubal-Books, Since 1961
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 37,86
EUR 3,94 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
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.
Notations for software design / by Loe M. G. Feijs, Hans B. M. Jonkers and Cornelis A. Middelburg / Formal approaches to computing and information technology
Feijs, Loe M. G, H. B. M. Jonkers und Cornelis A. Middelburg:
Lingua: Inglese
Editore: London ; Berlin ; Heidelberg ; New York ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer 1994
- Brossura
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermaniaRoland Antiquariat UG haftungsbeschränkt
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 15,30
EUR 42,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Lingua: Inglese
Editore: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 14 di 40. Libro 14 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 67,61
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))
Feijs, Loe M.G.; Jonkers, Hans B.M.; Middelburg, Cornelis A.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,65
EUR 13,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,65
EUR 13,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 76,69
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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
Lange, Jan de, Feijs, Els, Munk, Fokke, Broekhof, Kees, Cohen de Lara, Hans
- Rilegato
Da: Houtman Boeken, Utrecht, , Paesi BassiHoutman Boeken
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 17,19
EUR 29,95 spedizioneSpedito da Paesi Bassi a U.S.A.Quantità: 1 disponibili
Condizione: fine. 2013, 215pp, nette hardcover.
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Lingua: Inglese
Editore: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 14 di 40. Libro 14 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,33
EUR 13,89 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press 2008-08-21 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 14 di 40. Libro 14 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Chiron Media, Wallingford, , Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 63,39
EUR 17,96 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Paperback. Condizione: New.
- Rilegato
Da: Librairie Parrêsia, Figeac, , FranciaLibrairie Parrêsia
Contatta il venditoreVenditore con 3 stelleCondizione: Usato - Molto buono
EUR 50,00
EUR 32,50 spedizioneSpedito da Francia a U.S.A.Quantità: 1 disponibili
Feb 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].
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 82,11
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 440.
Lingua: Inglese
Editore: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 14 di 40. Libro 14 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 77,02
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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. . . . .
Lingua: Inglese
Editore: Cambridge University Press CUP 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 14 di 40. Libro 14 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 93,02
EUR 3,49 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 352.
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,24
EUR 14,49 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. reprint edition. 437 pages. 9.25x6.10x1.00 inches. In Stock.
Lingua: Inglese
Editore: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 14 di 40. Libro 14 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 96,11
EUR 9,19 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 63,34 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. 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 analys…is 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.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 63,32 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. 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.
- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. 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: pr…eigu.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 120,60
EUR 28,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Brossura
Da: Buchpark, Trebbin, , GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 42,18
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 444 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Come nuovo
EUR 125,38
EUR 28,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lingua: Inglese
Editore: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 14 di 40. Libro 14 di 40 - Cambridge Tracts in Theoretical Computer Science
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 92,09
EUR 63,04 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. 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, 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.
Fractions, Percentages, Decimals and Proportions
Van Galen, Frans, Feijs, Els, Figueiredo, Nisa, Gravemeijer,
Lingua: Inglese
Editore: Brill Academic Pub 2008
Serie: Dutch Design in Mathematics Education, Libro 5 di 6. Libro 5 di 6 - Dutch Design in Mathematics Education
- Brossura
Da: Mispah books, Redhill, SURRE, Regno UnitoMispah books
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 214,94
EUR 28,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
paperback. Condizione: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
Neonatal Monitoring Technologies : Design for Integrated Solutions
Chen, Wei (EDT); Oetomo, Sidarto Bambang (EDT); Feijs, Loe (EDT)
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 245,05
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Neonatal Monitoring Technologies: Design for Integrated Solutions
Wei Chen; Wei Chen [Editor]; Sidarto Bambang Oetomo [Editor]; Loe Feijs [Editor];
- Rilegato
Da: Redux Books, Grand Rapids, MI, U.S.A.Redux Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 247,44
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: New. Hardcover. An unused, unmarked and unblemished copy.; 100% Satisfaction Guaranteed! Ships same or next business day.
