2011, ISBN: 9783642177965
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held inLac-Beauport, QC, Canada, in June … Mehr…
| Orellfuessli.ch No. 30568780. Versandkosten:Zzgl. Versandkosten. (EUR 15.60) Details... |
2010, ISBN: 9783642177965
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… Mehr…
| Springer.com new in stock. Versandkosten:plus shipping costs., zzgl. Versandkosten Details... |
2010, ISBN: 9783642177965
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… Mehr…
| ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers - neues Buch
2010, ISBN: 9783642177965
; PDF; Computing > Computer programming / software development > Algorithms & data structures, Springer Berlin Heidelberg
| hive.co.uk No. 9783642177965. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2010, ISBN: 9783642177965
Algebraic Methodology and Software Technology ab 53.49 EURO 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers Programming and … Mehr…
| eBook.de Nr. Versandkosten:, , DE. (EUR 0.00) Details... |
2011, ISBN: 9783642177965
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held inLac-Beauport, QC, Canada, in June … Mehr…
![Details...](javascript:showHistory('9783642177965',h4,false,'hive.co.uk', false, '\",http://hive.dmmserver.com/media/140/97836624/9783662483312.jpg ,Instock,Springer Berlin Heidelberg\"', 'Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers', false);){kind=link}
2010, ISBN: 9783642177965
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… Mehr…
2010
ISBN: 9783642177965
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… Mehr…
Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers - neues Buch
2010, ISBN: 9783642177965
; PDF; Computing > Computer programming / software development > Algorithms & data structures, Springer Berlin Heidelberg
![](javascript:showHistory('9783642177965',4,'%2Fplatform_order.php%3Fbqid%3D%26platform%3DHive.co.uk%26url%3Dhttp%253A%252F%252Ftrack.webgains.com%252Fclick.html%253Fwgcampaignid%253D122215%2526wgprogramid%253D10671%2526product%253D1%2526wglinkid%253D538017%2526productname%253DAlgebraic%252BMethodology%252Band%252BSoftware%252BTechnology%252B%25253A%252B13th%252BInternational%252BConference%25252C%252BAMAST%252B2010%25252C%252BLac-Beauport%25252C%252BQC%25252C%252BCanada%25252C%252BJune%252B23-25%25252C%252B2010%25252C%252BRevised%252BSelected%252BPapers%2526wgtarget%253Dhttp%253A%252F%252Fwww.hive.co.uk%252FProduct%252F17799376%26indexOnPage%3D4%26numPages%3D1%26price_eur%3D0.00','hive.co.uk', '€ 45,89', '\",http://hive.dmmserver.com/media/140/97836624/9783662483312.jpg ,Instock,Springer Berlin Heidelberg\"', 'Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers', false);){kind=link}
![Infos zur Preistendenz](javascript:showHistory('9783642177965',4,'%2Fplatform_order.php%3Fbqid%3D%26platform%3DHive.co.uk%26url%3Dhttp%253A%252F%252Ftrack.webgains.com%252Fclick.html%253Fwgcampaignid%253D122215%2526wgprogramid%253D10671%2526product%253D1%2526wglinkid%253D538017%2526productname%253DAlgebraic%252BMethodology%252Band%252BSoftware%252BTechnology%252B%25253A%252B13th%252BInternational%252BConference%25252C%252BAMAST%252B2010%25252C%252BLac-Beauport%25252C%252BQC%25252C%252BCanada%25252C%252BJune%252B23-25%25252C%252B2010%25252C%252BRevised%252BSelected%252BPapers%2526wgtarget%253Dhttp%253A%252F%252Fwww.hive.co.uk%252FProduct%252F17799376%26indexOnPage%3D4%26numPages%3D1%26price_eur%3D0.00','hive.co.uk', '€ 45,89', '\",http://hive.dmmserver.com/media/140/97836624/9783662483312.jpg ,Instock,Springer Berlin Heidelberg\"', 'Algebraic Methodology and Software Technology : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers', true);){kind=link}
2010, ISBN: 9783642177965
Algebraic Methodology and Software Technology ab 53.49 EURO 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers Programming and … Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Algebraic Methodology and Software Technology
EAN (ISBN-13): 9783642177965
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2015-11-27T12:38:54+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-01-24T17:28:22+01:00 (Vienna)
ISBN/EAN: 9783642177965
ISBN - alternative Schreibweisen:
978-3-642-17796-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: springer, johnson michael
Titel des Buches: software
Daten vom Verlag:
Autor/in: Michael Johnson; Dusko Pavlovic
Titel: 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
Verlag: Springer; Springer Berlin
238 Seiten
Erscheinungsjahr: 2011-01-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 238 p. 46 illus., 10 illus. in color.
EA; E107; eBook; Nonbooks, PBS / 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; C; Software Engineering; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Artificial Intelligence; Programming Techniques; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; BC
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.
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781447132271 Algebraic Methodology and Software Technology (AMAST'93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9781447132271 Algebraic Methodology and Software Technology (AMAST'93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9780387614632 Algebraic Methodology and Software Technology: 5th International Conference, Amast '96, Munich, Germany, July 1-5, 1996 : Proceedings (Lecture Notes in Computer Science, 1101) (Germany) International Conference on Algebraic Methodology and Software Technology (5th : 1996 : Munich, M. Wirsing, M. Nivat)
- 9783540198529 Algebraic Methodology and Software Technology (AMAST?93) (Maurice Nivat; Charles Rattray; Teodor Rus; Giuseppe Scollo)
- 9783540223818 Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116) (Rattray, Charles, Maharaj, Savitri)
- [(Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings)] [Edited by Martin Wirsing ] published on (August, 1996) (Martin Wirsing)
< zum Archiv...