Passer au contenu principal Passer au contenu du pied de page

Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

Jasmin Christian Blanchette Édition : Nikolai Kosmatov

1 juillet 2015

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

209

Programming and Software Engineering

Publié par: Springer/Sci-Tech/Trade

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

ISBN: 9783319212142

Cross-Cultural Design. Methods, Tools and User Experience: 11th International Conference, CCD 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I

Pei-Luen Patrick Rau Couverture souple
80,50 $
2 formats offerts
Ergonomics and Health Aspects of Work with Computers: International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings

Ben-Tzion Karsh Couverture souple
80,50 $
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Frank S. de Boer Couverture rigide
80,50 $
Trust in Agent Societies: 11th International Workshop, TRUST 2008, Estoril, Portugal, May 12 -13, 2008. Revised Selected and Invited Papers

Rino Falcone 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
58,50 $
Analysis Of Images, Social Networks And Texts: 8th International Conference, Aist 2019, Kazan, Russia, July 17-19, 2019, Revised Selected Papers

Wil M. P. van der Aalst Couverture souple
80,50 $
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
94,95 $
2 formats offerts
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Ana Bove Couverture souple
80,50 $
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

John Derrick Couverture souple
80,50 $
Object, Models, Components, Patterns: 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings

Carlo A. Furia Couverture souple
80,50 $
HCI International 2022 - Late Breaking Papers. Design, User Experience and Interaction: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings

Masaaki Kurosu Couverture souple
80,50 $
2 formats offerts
Privacy and Identity Management. Facing up to Next Steps: 11th IFIP WG 9.2, 9.5, 9.6/11.7, 11.4, 11.6/SIG 9.2.2 International Summer School, Karlstad, Sweden, August 21-26, 2016, Revised Selected Papers

Anja Lehmann Couverture souple
131,50 $
3 formats offerts
NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Kristin Yvonne Rozier Couverture souple
145,95 $
2 formats offerts
Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings

Klaus Miesenberger Couverture souple
160,95 $
Universal Access in Ambient Intelligence Environments: 9th ERCIM Workshop on User Interfaces for All, Konigswinter, Germany, September 27-28, 2006, Revised Papers

Constantine Stephanidis Couverture souple
80,50 $
Ultimate Cardano Smart Contracts: Unlock the Full Potential of the Cardano Blockchain by Developing Real-World Web 3.0 Projects Using Plutus Smart Contracts, and App Development (English Edition)

Lawrence Arthur Ley Livre numérique Kobo
34,99 $
Declarative Programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991

Couverture souple
71,50 $
Advances in Swarm Intelligence: 10th International Conference, ICSI 2019, Chiang Mai, Thailand, July 26-30, 2019, Proceedings, Part II

Ying Tan Couverture souple
116,95 $
2 formats offerts
HCI International 2022 - Late Breaking Papers. Interaction in New Media, Learning and Games: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings

Gabriele Meiselwitz Couverture souple
145,95 $
2 formats offerts
HCI International 2022 - Late Breaking Papers: Ergonomics and Product Design: 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26-July 1, 2022, Proceedings

Vincent G. Duffy Couverture souple
145,95 $
2 formats offerts

Évaluation éditoriale

nikolai kosmatov

Auteur

Modelling Foundations and Applications: 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings

Jordi Cabot Couverture souple
80,50 $
Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings

Frédéric Loulergue Couverture souple
80,50 $
2 formats offerts
Tests and Proofs: 6th International Conference, Tap 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

Achim Brucker Couverture souple
102,50 $
Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers

Bertrand Meyer Couverture souple
80,50 $
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Orna Kupferman Couverture souple
72,95 $
2 formats offerts
Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Reinhard Wilhelm Couverture souple
71,50 $
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Orna Grumberg Couverture souple
160,95 $
Tests and Proofs: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings

Wolfgang Ahrendt Couverture souple
80,50 $
2 formats offerts
Compiler Construction: 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

Stefan Jähnichen Couverture souple
80,50 $
Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Esther Guerra Couverture souple
80,50 $
2 formats offerts
Tests and Proofs: 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings

Laura Kov Couverture souple
80,50 $
2 formats offerts
Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Leen Lambers Couverture souple
72,95 $
2 formats offerts
Compiler Construction: 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings

Kai Koskimies Couverture souple
80,50 $
Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

Laurence Tratt Couverture souple
80,50 $
Compiler Construction: 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Koen De Bosschere Couverture souple
72,95 $
Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

Jean Goubault-Larrecq Couverture souple
72,95 $
Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Stefan Kiefer Couverture souple
72,95 $
Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

Patricia Bouyer Couverture souple
72,95 $
Principles of Security and Trust: 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Matteo Maffei Couverture souple
80,50 $
2 formats offerts
Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings

Holger Giese Couverture souple
80,50 $