Articles liés à Algebraic Methodology and Software Technology: 4th...
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings - Couverture souple
Synopsis
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.
It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 70,56
Gratuit expédition vers Etats-Unis
Destinations, frais et délaisRésultats de recherche pour Algebraic Methodology and Software Technology: 4th...
Image d'archives
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings (Lecture Notes in Computer Science)
Edité par
Springer, 2008
ISBN 10 : 3540600434
ISBN 13 : 9783540600435
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. N° de réf. du vendeur UTD14a-1188
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995: Proceedings
Edité par
Springer Berlin / Heidelberg, 1995
ISBN 10 : 3540600434
ISBN 13 : 9783540600435
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 1826567-6
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Methodology and Software Technology - 4th International Conference, AMAST *95, Montreal, Canada, July 3-7, 1995: Proceedings
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-82367
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Methodology and Software Technology - 4th International Conference, AMAST *95, Montreal, Canada, July 3-7, 1995: Proceedings
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-268044
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Methodology and Software Technology
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 616. N° de réf. du vendeur 263059333
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Methodology and Software Technology
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 616 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5837146
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Methodology and Software Technology
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. 616. N° de réf. du vendeur 183059343
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings (Lecture Notes in Computer Science, 936)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020171822
Quantité disponible : Plus de 20 disponibles
Image d'archives
Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings (Lecture Notes in Computer Science, 936)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540600435_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Algebraic Methodology and Software Technology
Edité par
Springer Berlin Heidelberg Mai 1995, 1995
ISBN 10 : 3540600434
ISBN 13 : 9783540600435
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 constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.It includes full papers or extended abstracts of the invited talks, refereed selected contributions, and research prototype tools. The invited speakers are David Gries, Jeanette Wing, Dan Craigen, Ted Ralston, Ewa Orlowska, Krzysztof Apt, Joseph Goguen, and Rohit Parikh. The 29 refereed papers presented were selected from some 100 submissions; they are organized in sections on algebraic and logical foundations, concurrent and reactive systems, software technology, logic programming and databases. 612 pp. Englisch. N° de réf. du vendeur 9783540600435
Quantité disponible : 2 disponible(s)