- 5 Résultats
prix le plus bas: € 23,69, prix le plus élevé: € 64,19, prix moyen: € 41,91
1
Commander
sur AbeBooks.de
€ 40,77
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Johnson, Michael und Dusko Pavlovic:

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers - Livres de poche

2011, ISBN: 3642177956

[EAN: 9783642177958], Gebraucht, guter Zustand, [PU: Springer Berlin], SOFTWARE PORTABILITY,COMPUTER ALGEBRA,SOFTWARE VALIDATION,CORRECTNESS,FORMAL LANGUAGES,REQUIREMENTS ENGINEERING,FORM… Plus…

NOT NEW BOOK. Frais d'envoi EUR 3.00 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fermer(X)
2
Commander
sur buchfreund.de
€ 36,69
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

Johnson, Michael und Dusko Pavlovic:

Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers 2011 - livre d'occasion

2011, ISBN: 9783642177958

2011 Neubindung, Buchecken leicht angestoßen, Buchumschlag leicht geknickt 10022237/12 Versandkostenfreie Lieferung software portability,computer algebra,software validation,correctness,f… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
fermer(X)
3
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers - Johnson, Michael und Dusko Pavlovic
Commander
sur booklooker.de
€ 44,20
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Johnson, Michael und Dusko Pavlovic:
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers - livre d'occasion

2011

ISBN: 9783642177958

[PU: Springer Berlin], Neubindung, Buchecken leicht angestoßen, Buchumschlag leicht geknickt 10022237/12, DE, [SC: 0.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, PayPal, Klarna-S… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fermer(X)
4
Algebraic Methodology and Software Technology
Commander
sur eBook.de
€ 23,69
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Algebraic Methodology and Software Technology - nouveau livre

2011, ISBN: 3642177956

Algebraic Methodology and Software Technology - 13th International Conference AMAST 2010 Lac-Beauport QC Canada June 23-25 2010 Revised Selected Papers. Auflage 2011: ab 23.69 € Medien > … Plus…

Nr. 13901017. Frais d'envoi, , DE. (EUR 0.00)
fermer(X)
5
Algebraic Methodology and Software Technology - Michael Johnson; Dusko Pavlovic
Commander
sur lehmanns.de
€ 64,19
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Michael Johnson; Dusko Pavlovic:
Algebraic Methodology and Software Technology - Livres de poche

2011, ISBN: 9783642177958

13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers, Buch, Softcover, 2011, [PU: Springer Berlin], Springer Berlin, 2011

Frais d'envoisofort lieferbar. (EUR 0.00)
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Algebraic Methodology and Software Technology
Auteur:
Titre:
ISBN:

9783642177958


This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.

Informations détaillées sur le livre - Algebraic Methodology and Software Technology


EAN (ISBN-13): 9783642177958
ISBN (ISBN-10): 3642177956
Version reliée
Livre de poche
Date de parution: 2011
Editeur: Springer Berlin
235 Pages
Poids: 0,388 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-10-06T15:21:33+02:00 (Paris)
Page de détail modifiée en dernier sur 2023-02-13T13:15:13+01:00 (Paris)
ISBN/EAN: 9783642177958

ISBN - Autres types d'écriture:
3-642-17795-6, 978-3-642-17795-8
Autres types d'écriture et termes associés:
Auteur du livre: johnson, michael john, pavlov, jürgen neukirch
Titre du livre: computer, proceedings the international conference methodologies, selected papers algebra, engineering software, engineering technology, klassenkörpertheorie, michael johnson

Données de l'éditeur

Auteur: Michael Johnson; Dusko Pavlovic
Titre: Lecture Notes in Computer Science; Programming and Software Engineering; Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers
Editeur: Springer; Springer Berlin
238 Pages
Date de parution: 2011-01-14
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 238 p. 46 illus., 10 illus. in color.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; computer algebra; constraint programming; correctness; formal languages; formal methods; functional programming; logic programming; requirements engineering; software architecture; software engineering; software portability; software validation; software verification; theorem proving; web programming; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Artificial Intelligence; Programming Techniques; Theoretische Informatik; Compiler und Übersetzer; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; EA

This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.

The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.


< pour archiver...