Science, Computer & Technology Software Development & Engineering / Quality Assurance & Testing (304)
-
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane62,40 € -
Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane89,60 € -
Improving Software Testing: Technical and Organizational Developments
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012Libri in Inglese | Business, Economics & LawDisponibilità in 2 settimane62,80 € -
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane112,70 € -
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane157,00 € -
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Formal Methods and Testing: An Outcome of the FORTEST Network. Revised Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,90 € -
Unfoldings: A Partial-Order Approach to Model Checking
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane132,80 € -
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane173,00 € -
The IT Measurement Compendium: Estimating and Benchmarking Success with Functional Size Measurement
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane60,60 € -
Testing Software and Systems: 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,60 € -
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane172,20 € -
Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2015Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,00 € -
Debugging Systems-on-Chip: Communication-centric and Abstraction-based Techniques
Venditore: FeltrinelliSpringer International Publishing AG, 2014Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane130,30 € -
Static Analysis: 32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane105,50 € -
Testing Software and Systems: 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17–19, 2025, Proceedings
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane185,80 € -
Machine-Learning-Assisted Software Defect Prediction
Venditore: FeltrinelliSpringer Nature Switzerland AG, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 3 settimane197,99 € -
Balancing Software Innovation and Regulatory Compliance: 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20–22, 2025, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane160,60 € -
Verified Software. Theories, Tools and Experiments: 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,00 € -
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,30 € -
ISTQB® Certified Tester Foundation Level: Ein Handbuch zum Selbststudium und zur Prüfungsvorbereitung
Venditore: FeltrinelliSpringer International Publishing AG, 2025Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane60,30 € -
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane76,20 € -
Development and Testing of Vehicle Software and its Influence on Sustainable Transport
Venditore: FeltrinelliSpringer International Publishing AG, 2024Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane206,60 € -
ISTQB® Certified Tester Foundation Level: A Self-Study Guide Syllabus v4.0
Venditore: FeltrinelliSpringer International Publishing AG, 2023Libri in Inglese | Science, Computer & TechnologyDisponibile in 5 gg lavorativi74,99 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
