Passer au contenu principal Passer au contenu du pied de page

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings

Jyotirmoy V. Deshmukh Édition : Klaus Havelund , Ivan Perez

20 mai 2022

204,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 1 023 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

828

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031067723

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings

Juan De Lara Couverture souple
80,50 $
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 $
Social Computing and Social Media: 8th International Conference, SCSM 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings

Gabriele Meiselwitz Couverture souple
80,50 $
2 formats offerts
Universal Access in Human-Computer Interaction. Novel Design Approaches and Technologies: 16th International Conference, UAHCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Margherita Antona Couverture souple
204,50 $
2 formats offerts
Reliable and Autonomous Computational Science: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 201: International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010

Sung Y. Shin Couverture souple
160,95 $
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 $
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 $
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
Analysis Of Images, Social Networks And Texts: 7th International Conference, Aist 2018, Moscow, Russia, July 5-7, 2018, Revised Selected Papers

Wil M. P. van der Aalst Couverture souple
80,50 $
2 formats offerts
Advances in Conceptual Modeling - Applications and Challenges: ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010, Proceedings

Juan Trujillo Couverture souple
80,50 $
Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15-16, 2020, 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
Cross-Cultural Design. Interaction Design Across Cultures: 14th International Conference, CCD 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 - July 1, 2022, Proceedings, Part I

Pei-Luen Patrick Rau Couverture souple
145,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 $
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Marieke Huisman 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
HCI for Cybersecurity, Privacy and Trust: First International Conference, HCI-CPT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings

Abbas Moallem Couverture souple
80,50 $
2 formats offerts
Universal Access in Human-Computer Interaction. Addressing Diversity: 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I

Constantine Stephanidis Couverture souple
160,95 $
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 $
Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers

H. Jaap Van Den Herik Couverture souple
80,50 $

Évaluation éditoriale

klaus havelund

Auteur

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
NASA Formal Methods: 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

Divya Gopinath Couverture souple
116,95 $
2 formats offerts
Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings

Daniela Genova Couverture souple
102,50 $
2 formats offerts
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings

Thao Dang Couverture souple
109,50 $
2 formats offerts
Theoretical Aspects of Computing - ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings

Helmut Seidl Couverture souple
80,50 $
2 formats offerts
Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Bernd-holger Schlingloff Couverture souple
102,50 $
2 formats offerts
Developments in Language Theory: 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings

Volker Diekert Couverture souple
124,50 $
2 formats offerts
Search-Based Software Engineering: 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings

Erik M. Fredericks Couverture souple
80,50 $
2 formats offerts
Static Analysis: 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings

Manuel V Hermenegildo Couverture souple
131,50 $
2 formats offerts
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings

Ekaterina Komendantskaya Couverture souple
94,95 $
2 formats offerts
Trends in Functional Programming: 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers

Stephen Chang Couverture souple
80,50 $
2 formats offerts
Conceptual Modeling: 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

Nick Multari Couverture souple
109,50 $
2 formats offerts
Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13-16, 2023, Proceedings

Marios Mavronicolas Couverture souple
124,50 $
2 formats offerts
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Maurice H. ter Beek Couverture souple
124,50 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings

Alberto Del Pia Couverture souple
131,50 $
2 formats offerts
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Andr Platzer Couverture souple
72,95 $
2 formats offerts
Combinatorial Optimization: 8th International Symposium, ISCO 2024, La Laguna, Tenerife, Spain, May 22-24, 2024, Revised Selected Papers

Amitabh Basu Couverture souple
116,95 $
2 formats offerts
Integer Programming and Combinatorial Optimization: 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27-29, 2022, Proceedings

Karen Aardal Couverture souple
145,95 $
2 formats offerts
Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedings

Henning Fernau Couverture souple
116,95 $
2 formats offerts
String Processing and Information Retrieval: 31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings

Zsuzsanna Lipt Couverture souple
102,50 $
2 formats offerts