- 5 resultados
menor preço: € 23.69, preço mais alto: € 64.19, preço médio: € 41.91
1
Encomendar
no/na AbeBooks.de
€ 40.77
Envio: € 3.001
Encomendar
Detalhes fornecedor
Link patrocinado
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 - Livro de bolso

2011, ISBN: 3642177956

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

NOT NEW BOOK. Custos de envio: EUR 3.00 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
fechar(X)
2
Encomendar
no/na buchfreund.de
€ 36.69
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado

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 - livro usado

2011, ISBN: 9783642177958

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

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
fechar(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
Encomendar
no/na booklooker.de
€ 44.20
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
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 - livro usado

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… mais…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchpark GmbH
fechar(X)
4
Algebraic Methodology and Software Technology
Encomendar
no/na eBook.de
€ 23.69
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Algebraic Methodology and Software Technology - nuovo livro

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 > … mais…

Nr. 13901017. Custos de envio:, , DE. (EUR 0.00)
fechar(X)
5
Algebraic Methodology and Software Technology - Michael Johnson; Dusko Pavlovic
Encomendar
no/na lehmanns.de
€ 64.19
Envio: € 0.001
Encomendar
Detalhes fornecedor
Link patrocinado
Michael Johnson; Dusko Pavlovic:
Algebraic Methodology and Software Technology - Livro de bolso

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

Custos de envio:sofort lieferbar. (EUR 0.00)
fechar(X)
1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Algebraic Methodology and Software Technology
Autor:
Título:
Número 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.

Dados detalhados do livro - Algebraic Methodology and Software Technology


EAN (ISBN-13): 9783642177958
ISBN (ISBN-10): 3642177956
Livro de capa dura
Livro de bolso
Ano de publicação: 2011
Editor/Editora: Springer Berlin
235 Páginas
Peso: 0,388 kg
Língua: eng/Englisch

Livro na base de dados desde 2007-10-06T10:21:33-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-02-13T09:15:13-03:00 (Sao Paulo)
Número ISBN/EAN: 9783642177958

Número ISBN - Ortografia alternativa:
3-642-17795-6, 978-3-642-17795-8
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: johnson, michael john, pavlov, jürgen neukirch
Título do livro: computer, proceedings the international conference methodologies, selected papers algebra, engineering software, engineering technology, klassenkörpertheorie, michael johnson

Dados da editora

Autor: Michael Johnson; Dusko Pavlovic
Título: 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
Editora: Springer; Springer Berlin
238 Páginas
Ano de publicação: 2011-01-14
Berlin; Heidelberg; DE
Língua: Inglês
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.


< Para arquivar...