Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer Berlin Heidelberg Mrz 2005, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Book Print on Demand
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 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 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 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 cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations. 288 pp. Englisch.
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2004 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 2004 took place at the Technical University of Catalonia (UPC), Barcelona, Spain, on 27 29 March 2004, and was organized by Fernando Orejas and Jordi Cortadella. The program consisted of invited talks by Luis Caires (Universidade Nova de Lisboa, Portugal) and Reiko Heckel (University of Paderborn, Germany), and 33 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 cation devel- ment systems, methods and techniques for concurrent, distributed and mobile systems, and algebraic and co-algebraic foundations.
Published by Springer 2005-03, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Technical Paper.- Behavior-Preserving Refinement Relations Between Dynamic Software Architectures.- Contributed Papers.- Modelling Mobility with Petri Hypernets.- Cryptomorphisms at Work.- Towards a Formal Specification of an Electronic Payment Syst.
Published by Springer, 2005
ISBN 10: 3540253270ISBN 13: 9783540253273
Seller: dsmbooks, Liverpool, United Kingdom
Book
Paperback. Condition: Like New. Like New. book.