Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Name: Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Alberto Pardo
ISBN: 9783642031526

Ana Bove Édition : Luis Soares Barbosa , Alberto Pardo

14 juillet 2009

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

301

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783642031526

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Paper: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

David Naumann Couverture souple
65,95 $
Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Vladimir Itsykson Couverture souple
80,50 $
2 formats offerts
Design, User Experience, and Usability: Users and Interactions: 4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II

Aaron Marcus Couverture souple
80,50 $
2 formats offerts
Privacy and Identity Management. Time for a Revolution?: 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers

David Aspinall Couverture souple
80,50 $
3 formats offerts
Query: Getting Information from Data with the Wolfram Language

Seth J Chandler Couverture souple
51,95 $
Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

Couverture souple
91,44 $
AI-generated Content: First International Conference, AIGC 2023, Shanghai, China, August 25-26, 2023, Revised Selected Papers

Feng Zhao Couverture souple
124,50 $
2 formats offerts
Information Search, Integration, And Personlization: 11th International Workshop, Isip 2016, Lyon, France, November 1-4, 2016, Revised Selected Papers

Dimitris Kotzinos Couverture souple
80,50 $
2 formats offerts
Radio Frequency Identification: Security and Privacy Issues: 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers

Siddika Berna Ors Yalcin Couverture souple
80,50 $
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Couverture souple
94,95 $
2 formats offerts
Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Rostislav Yavorskiy Couverture souple
58,50 $
Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers

John Gustafson Couverture souple
94,95 $
2 formats offerts
Ergonomics and Health Aspects of Work with Computers: International Conference, EHAWC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings

Michelle M. Robertson Couverture souple
80,50 $
Bridging People And Sound: 12th International Symposium, Cmmr 2016, Sao Paulo, Brazil, July 5-8, 2016, Revised Selected Papers

Mitsuko Aramaki Couverture souple
80,50 $
2 formats offerts
Design, User Experience, and Usability: User Experience in Novel Technological Environments: Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

Aaron Marcus Couverture souple
80,50 $
Multidisciplinary Aspects of Time and Time Perception: COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers

Argiro Vatakis Couverture souple
80,50 $
Geometry and Vision: First International Symposium, ISGV 2021, Auckland, New Zealand, January 28-29, 2021, Revised Selected Papers

Minh Nguyen Couverture souple
80,50 $
2 formats offerts
Design, User Experience, and Usability: Interactive Experience Design: 4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III

Aaron Marcus Couverture souple
80,50 $
2 formats offerts
Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Anna Kalenkova Couverture souple
80,50 $
2 formats offerts
Mining, Modeling, and Recommending 'Things' in Social Media: 4th International Workshops, MUSE 2013, Prague, Czech Republic, September 23, 2013, and MSM 2013, Paris, France, May 1, 2013, Revised Selected Papers

Martin Atzmueller Couverture souple
65,95 $
2 formats offerts

Évaluation éditoriale

luis soares barbosa

Auteur

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

Luis Soares Barbosa Couverture souple
80,50 $
UML Modeling Languages and Applications: > 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

Nuno Jardim Nunes Couverture souple
80,50 $
Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Michael Luck Couverture souple
80,50 $
Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

Manuel Núnez Couverture souple
80,50 $
High Performance Computing: 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papers

Carlos J. Barrios H. Couverture souple
58,50 $
Reconfigurable Computing: Architectures, Tools and Applications: 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings

Philip Brisk Couverture souple
72,95 $
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Marcel Vinícius Oliveira Couverture souple
80,50 $
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Christiano Braga Couverture souple
65,95 $
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Gilles Barthe Couverture souple
80,50 $
Energy-Efficient Data Centers: Second International Workshop, E Dc 2013, Berkeley, Ca, Usa, May 21, 2013. Revised Selected Papers

Sonja Klingert Couverture souple
65,95 $
Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

Gordon Fraser Couverture souple
80,50 $
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Ricardo Pe Couverture souple
72,95 $
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Couverture souple
80,50 $
Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers

Ralf Lämmel Couverture souple
80,50 $
Digital Eco-Systems: Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers

Fernando Antonio Basile Colugnati Couverture souple
80,50 $
Computational Neuroscience: 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

Jaime A. Riascos Salas Couverture souple
72,95 $
Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Fernando Ferreira Couverture souple
80,50 $
Software Process Improvement: 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009, Proceedings

Rory O'connor Couverture souple
80,50 $
High Performance Computing Systems: 19th Symposium, Wscad 2018, Sao Paulo, Brazil, October 1-3, 2018, Revised Selected Papers

Calebe Bianchini Couverture souple
80,50 $
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers

Ricardo J. Machado Couverture souple
72,95 $

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Description

Vous aimerez peut-être aussi

Unifying Theories of Programming: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Paper: 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

Tools And Methods Of Program Analysis: 4th International Conference, Tmpa 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

Design, User Experience, and Usability: Users and Interactions: 4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part II

Privacy and Identity Management. Time for a Revolution?: 10th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Edinburgh, UK, August 16-21, 2015, Revised Selected Papers

Query: Getting Information from Data with the Wolfram Language

Modelling Database Dynamics: Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects, Volkse, Germany 19-22 October 1992

AI-generated Content: First International Conference, AIGC 2023, Shanghai, China, August 25-26, 2023, Revised Selected Papers

Information Search, Integration, And Personlization: 11th International Workshop, Isip 2016, Lyon, France, November 1-4, 2016, Revised Selected Papers

Radio Frequency Identification: Security and Privacy Issues: 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Tools and Methods of Program Analysis: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

Next Generation Arithmetic: Third International Conference, CoNGA 2022, Singapore, March 1-3, 2022, Revised Selected Papers

Ergonomics and Health Aspects of Work with Computers: International Conference, EHAWC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings

Bridging People And Sound: 12th International Symposium, Cmmr 2016, Sao Paulo, Brazil, July 5-8, 2016, Revised Selected Papers

Design, User Experience, and Usability: User Experience in Novel Technological Environments: Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III

Multidisciplinary Aspects of Time and Time Perception: COST TD0904 International Workshop, Athens, Greece, October 7-8, 2010, Revised Selected Papers

Geometry and Vision: First International Symposium, ISGV 2021, Auckland, New Zealand, January 28-29, 2021, Revised Selected Papers

Design, User Experience, and Usability: Interactive Experience Design: 4th International Conference, DUXU 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings, Part III

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019, Revised Selected Papers

Mining, Modeling, and Recommending 'Things' in Social Media: 4th International Workshops, MUSE 2013, Prague, Czech Republic, September 23, 2013, and MSM 2013, Paris, France, May 1, 2013, Revised Selected Papers

Cotes et évaluations

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010, Revised Selected Papers

UML Modeling Languages and Applications: > 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

Agent-Oriented Software Engineering IX: 9th International Workshop, AOSE 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004

High Performance Computing: 10th Latin American Conference, CARLA 2023, Cartagena, Colombia, September 18-22, 2023, Revised Selected Papers

Reconfigurable Computing: Architectures, Tools and Applications: 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013, Proceedings

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29-October 1, 2014. Proceedings

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Energy-Efficient Data Centers: Second International Workshop, E Dc 2013, Berkeley, Ca, Usa, May 21, 2013. Revised Selected Papers

Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011, Revised and Extended Papers

Digital Eco-Systems: Third International Conference, OPAALS 2010, Aracuju, Sergipe, Brazil, March 22-23, 2010, Revised Selected Papers

Computational Neuroscience: 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Software Process Improvement: 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009, Proceedings

High Performance Computing Systems: 19th Symposium, Wscad 2018, Sao Paulo, Brazil, October 1-3, 2018, Revised Selected Papers

Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers