Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Name: Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Price: 80.50 CAD
Availability: InStock
Author: Serdar Tasiran
ISBN: 9783031660634

Andrew Reynolds Édition : Serdar Tasiran

27 juillet 2024

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

109

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031660634

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Couverture souple
72,95 $
Information Technology for Management: Current Research and Future Directions: 17th Conference, AITM 2019, and 14th Conference, ISM 2019, Held as Part of FedCSIS, Leipzig, Germany, September 1-4, 2019, Extended and Revised Selected Papers

Ewa Ziemba Couverture souple
80,50 $
2 formats offerts
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Anatoly Nazarov Couverture souple
124,50 $
2 formats offerts
Advances in Communication Networking: 20th EUNICE/IFIP EG 6.2, 6.6 International Workshop, Rennes, France, September 1-5, 2014, Revised Selected Papers

Yvon Kermarrec Couverture souple
80,50 $
2 formats offerts
Enterprise Information Systems: 15h International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers

Slimane Hammoudi Couverture souple
80,50 $
2 formats offerts
Emerging Technologies for Education: 4th International Symposium, SETE 2019, Held in Conjunction with ICWL 2019, Magdeburg, Germany, September 23-25, 2019, Revised Selected Papers

Elvira Popescu Couverture souple
80,50 $
2 formats offerts
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Alexander Dudin Couverture souple
72,95 $
Progress In Pattern Recognition, Image Analysis, Computer Vision, And Applications: 25th Iberoamerican Congress, Ciarp 2021, Porto, Portugal, May 10-13, 2021, Revised Selected Papers

João Manuel R. Tavares Couverture souple
131,50 $
2 formats offerts
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Ofer Strichman Couverture souple
80,50 $
Euro-Par 2001 Parallel Processing: 7th International Euro-par Conference Manchester, Uk August 28-31, 2001 Proceedings

Rizos Sakellariou Couverture souple
160,95 $
Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

David Schmidt Couverture souple
204,50 $
Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part I

Rabindra Nath Shaw Couverture souple
116,95 $
2 formats offerts
Advanced Communication and Intelligent Systems: Second International Conference, ICACIS 2023, Warsaw, Poland, June 16-17, 2023, Revised Selected Papers, Part II

Rabindra Nath Shaw Couverture souple
160,95 $
2 formats offerts
System Modeling and Optimization: Proceedings of the 21st IFIP TC7 Conference held in July 21st - 25th, 2003, Sophia Antipolis, France

John CAGNOL Couverture souple
160,95 $
2 formats offerts
Computational Intelligence in Analytics and Information Systems: Volume 1: Data Science and AI , Selected Papers from CIAIS-2021

Hardeo Kumar Thakur Couverture rigide
281,50 $
2 formats offerts
CISA Certified Information Systems Auditor All-in-One Exam Guide, Third Edition

Peter H. Gregory Livre numérique Kobo
59,99 $ ~~Réduction sur le prix courant 73,96 $ à~~
2 formats offerts
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Bernd Finkbeiner Couverture souple
58,50 $
Smart Solutions in Today's Transport: 17th International Conference on Transport Systems Telematics, TST 2017, Katowice - UstroA, Poland, April 5-8, 2017, Selected Papers

Jerzy Mikulski Couverture souple
80,50 $
2 formats offerts
Graph Transformation: 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

Russ Harmer Couverture souple
94,95 $
2 formats offerts
Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

Bernd Finkbeiner Couverture souple
72,95 $
2 formats offerts

Évaluation éditoriale

serdar tasiran

Auteur

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Andrew Reynolds Couverture souple
72,95 $
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers

Akash Lal Couverture souple
80,50 $
2 formats offerts
Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Virgile Prevosto Couverture souple
80,50 $
2 formats offerts
Image and Vision Computing: 37th International Conference, IVCNZ 2022, Auckland, New Zealand, November 24-25, 2022, Revised Selected Papers

Wei Qi Yan Couverture souple
145,95 $
2 formats offerts
Graph-Theoretic Concepts in Computer Science: 48th International Workshop, WG 2022, Tubingen, Germany, June 22-24, 2022, Revised Selected Papers

Michael A. Bekos Couverture souple
116,95 $
2 formats offerts
Smart Card Research and Advanced Applications: 22nd International Conference, CARDIS 2023, Amsterdam, The Netherlands, November 14-16, 2023, Revised Selected Papers

Shivam Bhasin Couverture souple
94,95 $
2 formats offerts
Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

Ioannis Chatzigiannakis Couverture souple
94,95 $
2 formats offerts
Algorithms and Models for the Web Graph: 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23-26, 2023, Proceedings

Megan Dewar Couverture souple
87,95 $
2 formats offerts
Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

Maoguo Gong Couverture souple
80,50 $
2 formats offerts
Design for Equality and Justice: INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part I

Anna Bramwell-Dicks Couverture souple
109,50 $
2 formats offerts
Analysis of Images, Social Networks and Texts: 10th International Conference, AIST 2021, Tbilisi, Georgia, December 16-18, 2021, Revised Selected Papers

Evgeny Burnaev Couverture souple
124,50 $
2 formats offerts
Bio-inspired Computing - Theories and Applications: 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

Maoguo Gong Couverture souple
80,50 $
2 formats offerts
Chatbot Research and Design: 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers

Asbjorn Folstad Couverture souple
102,50 $
2 formats offerts
Design for Equality and Justice: INTERACT 2023 IFIP TC 13 Workshops, York, UK, August 28 - September 1, 2023, Revised Selected Papers, Part II

Anna Bramwell-Dicks Couverture souple
109,50 $
2 formats offerts
Large-Scale Scientific Computations: 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers

Ivan Lirkov Couverture souple
116,95 $
2 formats offerts
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers

Kyungmin Bae Couverture souple
116,95 $
2 formats offerts
Cryptography and Lattices: International Conference, Calc 2001, Providence, Ri, Usa, March 29-30, 2001. Revised Papers

Joseph H. Silverman Couverture souple
80,50 $
Intelligent Human Computer Interaction: 13th International Conference, IHCI 2021, Kent, OH, USA, December 20-22, 2021, Revised Selected Papers

Jong-hoon Kim Couverture souple
175,50 $
2 formats offerts
Code-Based Cryptography: 11th International Workshop, CBCrypto 2023, Lyon, France, April 22-23, 2023, Revised Selected Papers

Andre Esser Couverture souple
80,50 $
2 formats offerts
Frontiers in Software Engineering: First International Conference, ICFSE 2021, Innopolis, Russia, June 17-18, 2021, Revised Selected Papers

Giancarlo Succi Couverture souple
124,50 $
2 formats offerts

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Description

Vous aimerez peut-être aussi