Browse books
E-Books - Software testing & verification
Verification and Validation in Systems Engineering
Assessing UML/SysML Design Models
Price for Eshop: 3084 Kč (€ 123.4)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationComputer System Reliability
Safety and Usability
Price for Eshop: 2154 Kč (€ 86.2)
Format: E-Book, Publisher: CRC Press
Availability: E-book delivered electronically online
Add to Cart InformationVerification, Model Checking, and Abstract Interpretation
19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationModel Checking Software
19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings
Price for Eshop: 1182 Kč (€ 47.3)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationInstant Approach to Software Testing
Price for Eshop: 384 Kč (€ 15.4)
Format: E-Book, Publisher: BPB Publications
Availability: E-book delivered electronically online
Add to Cart InformationIDA Pro Book, 2nd Edition
Price for Eshop: 1856 Kč (€ 74.2)
Format: E-Book, Publisher: No Starch Press
Availability: E-book delivered electronically online
Add to Cart InformationEnhancing Software Fault Prediction With Machine Learning: Emerging Research and Opportunities
Price for Eshop: 4646 Kč (€ 185.8)
Format: E-Book, Publisher: IGI Global
Availability: E-book delivered electronically online
Add to Cart InformationVerification, Model Checking, and Abstract Interpretation
20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart InformationUnfoldings
A Partial-Order Approach to Model Checking
Price for Eshop: 2520 Kč (€ 100.8)
Format: E-Book, Publisher: Springer Berlin Heidelberg
Availability: E-book delivered electronically online
Add to Cart InformationReliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
Price for Eshop: 1267 Kč (€ 50.7)
Format: E-Book, Publisher: Springer International Publishing
Availability: E-book delivered electronically online
Add to Cart Information