Articles liés à Recent Trends in Algebraic Development Techniques:...
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540253270
- ISBN 13 9783540253273
- ReliureBroché
- Langueanglais
- Nombre de pages288
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 53,49
EUR 10,99 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Recent Trends in Algebraic Development Techniques:...
Image fournie par le vendeur
Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Edité par
Springer Berlin Heidelberg, 2005
ISBN 10 : 3540253270
ISBN 13 : 9783540253273
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540253273
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Recent Trends in Algebraic Development Techniques
Edité par
Springer Berlin Heidelberg Mrz 2005, 2005
ISBN 10 : 3540253270
ISBN 13 : 9783540253273
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540253273
Quantité disponible : 2 disponible(s)
Image d'archives
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3423)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540253273_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Recent Trends in Algebraic Development Techniques
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 2005, 2005
ISBN 10 : 3540253270
ISBN 13 : 9783540253273
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 288 pp. Englisch. N° de réf. du vendeur 9783540253273
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Recent Trends in Algebraic Development Techniques : 17th International Workshop, Wadt 2004, Barcelona, Spain, March 27-29, 2004
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3497462-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Recent Trends in Algebraic Development Techniques
Edité par
Springer Berlin Heidelberg, 2005
ISBN 10 : 3540253270
ISBN 13 : 9783540253273
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 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. N° de réf. du vendeur 4886457
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Recent Trends in Algebraic Development Techniques : 17th International Workshop, Wadt 2004, Barcelona, Spain, March 27-29, 2004
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 3497462-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Pape
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540253273
Quantité disponible : 10 disponible(s)
Image d'archives
Recent Trends in Algebraic Development Techniques
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 288. N° de réf. du vendeur 263069607
Quantité disponible : 4 disponible(s)
Image d'archives
Recent Trends in Algebraic Development Techniques
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 288 Illus. N° de réf. du vendeur 5859704
Quantité disponible : 4 disponible(s)