Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, Sept. 23 (sale item)* 476 pp., Paperback, ex library, else text clean and binding tight. - 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.
Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: Irish Booksellers, Portland, ME, U.S.A.
Condizione: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Editore: Springer, 2003
ISBN 10: 3540402535 ISBN 13: 9783540402534
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Editore: Springer, 1998
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
Editore: Springer, 2003
ISBN 10: 3540402535 ISBN 13: 9783540402534
Da: Irish Booksellers, Portland, ME, U.S.A.
Condizione: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Editore: Springer, 1998
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: Irish Booksellers, Portland, ME, U.S.A.
Condizione: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Editore: Springer, 2008
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: Démons et Merveilles, Joinville, Francia
Prima edizione
Très bon état - L'ouvrage qui n'a jamais été lu peut présenter de légères traces de stockage mais est du reste en très bon état. envoi rapide et soigné dans un emballage adapté depuis France. 15x23x2cm. 2008. Broché. 328 pages. Très bon état.
Editore: Springer Verlag, New York, 2002
ISBN 10: 3540431667 ISBN 13: 9783540431664
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Hardcover. Condizione: Very Good. No Jacket. Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;2272. [xii, 534 p. : ill. ; 24 cm].
Editore: Springer, 1998
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condizione: new.
Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condizione: new.
Editore: Springer, 2002
ISBN 10: 3540431667 ISBN 13: 9783540431664
Da: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condizione: new.
Editore: Springer, 1998
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Editore: Springer, 1998
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Editore: Springer, 2002
ISBN 10: 3540431667 ISBN 13: 9783540431664
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Editore: Springer, 2002
ISBN 10: 3540431667 ISBN 13: 9783540431664
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Editore: Springer, 1998
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
Editore: Springer-Verlag, New York City, 2003
ISBN 10: 3540402535 ISBN 13: 9783540402534
Da: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Hardcover. Condizione: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2651. [xiii, 545 p. : ill. ; 24 cm].
Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2002
ISBN 10: 3540431667 ISBN 13: 9783540431664
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 1998
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Editore: Springer, 2002
ISBN 10: 3540431667 ISBN 13: 9783540431664
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Condizione: New.
Editore: Springer, 1998
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Condizione: New.
Editore: Springer, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: GreatBookPricesUK, Castle Donington, DERBY, Regno Unito
Condizione: New.
Editore: Springer, 2008
ISBN 10: 3540644059 ISBN 13: 9783540644057
Da: getbooks GmbH, Bad Camberg, HE, Germania
Taschenbuch. Condizione: Gut. 328 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 822033.01 Sprache: Englisch Gewicht in Gramm: 431.
Editore: Springer Berlin Heidelberg, 2000
ISBN 10: 3540678980 ISBN 13: 9783540678984
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The algebraic approach to system speci cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems). Workshops on Al- braicDevelopmentTechniques,initiatedin1982asWorkshopsonAbstractData Types, have become a prominent forum to present and discuss research on this important area. The 14th International Workshop on Algebraic Development Techniques (WADT 99) took place at the Chat eau de Bonas, near Toulouse, September 15 18,1999,and was organized by Didier Bert and Christine Choppy. The main topics of the workshop were: algebraic speci cation other approaches to formal speci cation speci cation languages and methods term rewriting and proof systems speci cation development systems (concepts, tools, etc.). The program consisted of invited talks by Michel Bidoit, Manfred Broy, Bart Jacobs, Natarajan Shankar, and 69 presentations describing ongoing - search. The parallel sessions were devoted to: algebraic speci cations and other speci cation formalisms, test and validation, concurrent processes, - plications, logics and validation, combining formalisms, subsorts and parti- ity, structuring, rewriting, coalgebras and sketches, re nement, institutions and categories, ASM speci cations. There were also sessions re ecting - going research achieved in the Common Framework Initiative (CoFI, see within its di erent task groups: CASL (Common Algebraic Speci cation Language), CASL semantics, CASL tools, methodology, and reactive systems.
Editore: Springer Berlin Heidelberg, 2002
ISBN 10: 3540431667 ISBN 13: 9783540431664
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - These proceedings record the papers presented at the second International Conference of B and Z Users (ZB2002), held on 23 25 January 2002 in the city of Grenoble in the heart of the French Alps. This conference built on the success of the rst con- rence in this series, ZB2000, held at the University ofYork in the UK. The location of ZB2002 in Grenoble re ects the important work in the area of formal methods carried out at the Laboratoire Logiciels Systemes ` Reseaux within the Institut d Informatique et Mathematiques Appliquees de Grenoble (LSR-IMAG), especially involving the B method. B and Z are two important formal methods that share a common conceptual o- gin; each are leading approaches applied in industry and academia for the speci cation and development (using formal re nement) of computer-based systems. At ZB2002 the B and Z communities were brought together to hold a second joint conference that simultaneously incorporated the 13th International Z User Meeting and the 4th Int- national Conference on the B method. Although organized logistically as an integral event, editorial control of the joint conference remained vested in two separate but c- perating program committees that respectively determined its B and Z content, but in a coordinated manner.