Published by Springer Verlag, New York., 2004
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Hardcover. Condition: Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Covers and text in very good condition. LNCS 2755 [456 pages].
Published by Springer, 2004
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 472.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 472 Illus.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer Berlin Heidelberg Nov 2003, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the speci cation and development of systems, an area that was born around the algebraic speci cation of abstract data types and encompasses today the formal design of software systems, new speci cation frameworks and a wide range of application areas. WADT 2002 took place at the convent of Frauenchiemsee, Germany, on September 24 27, 2002, and was organized by Rolf Hennicker, Dirk Pattinson and Martin Wirsing. The workshop also included a special track on Formalism, Logic, Institution Relating, Translating and Structuring (FLIRTS), and three satelliteevents:ameetingoftheIFIP WorkingGroup1.3onFoundationsofS- tem Speci cation, a Workshop on Global Computing organized by the AGILE project, and a Workshop on Multimedia Instruction in Safe and Secure Systems (MMISS). The program consisted of invited talks by Egidio Astesiano (Genoa, Italy), Andrew Gordon (Cambridge, UK), and Jan Rutten (Amsterdam, The Neth- lands), and 44 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci cation languages and methods, systems and techniques for reasoning about speci cations, speci - tion development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. 472 pp. Englisch.
Published by Springer, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the speci cation and development of systems, an area that was born around the algebraic speci cation of abstract data types and encompasses today the formal design of software systems, new speci cation frameworks and a wide range of application areas. WADT 2002 took place at the convent of Frauenchiemsee, Germany, on September 24 27, 2002, and was organized by Rolf Hennicker, Dirk Pattinson and Martin Wirsing. The workshop also included a special track on Formalism, Logic, Institution Relating, Translating and Structuring (FLIRTS), and three satelliteevents:ameetingoftheIFIP WorkingGroup1.3onFoundationsofS- tem Speci cation, a Workshop on Global Computing organized by the AGILE project, and a Workshop on Multimedia Instruction in Safe and Secure Systems (MMISS). The program consisted of invited talks by Egidio Astesiano (Genoa, Italy), Andrew Gordon (Cambridge, UK), and Jan Rutten (Amsterdam, The Neth- lands), and 44 presentations describing ongoing research on main topics of the workshop: formal methods for system development, speci cation languages and methods, systems and techniques for reasoning about speci cations, speci - tion development systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Published by Springer Berlin Heidelberg, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Technical Papers.- AGILE: Software Architecture for Mobility.- A Coinductive Calculus of Component Connectors.- An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint.- MultiMedia Instruction in Safe and Sec.
Published by Springer 2003-11, 2003
ISBN 10: 3540205373 ISBN 13: 9783540205371
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.