E-Books - Software testing & verification

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Berlin Heidelberg

Availability: E-book delivered electronically online

Software Fault Detection and Correction: Modeling and Applications

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer Nature Singapore

Availability: E-book delivered electronically online

Testing Complex and Embedded Systems

Price for Eshop: 2271 Kč (€ 90.8)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Testing Complex and Embedded Systems

Price for Eshop: 3133 Kč (€ 125.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Testing Complex and Embedded Systems

Price for Eshop: 3133 Kč (€ 125.3)

Format: E-Book, Publisher: CRC Press

Availability: E-book delivered electronically online

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Price for Eshop: 3647 Kč (€ 145.9)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

Format: E-Book, Publisher: Springer International Publishing

Availability: E-book delivered electronically online

Rails 5 Test Prescriptions

Build a Healthy Codebase

Price for Eshop: 1056 Kč (€ 42.2)

Format: E-Book, Publisher: Pragmatic Bookshelf

Availability: E-book delivered electronically online

Rails 5 Test Prescriptions

Build a Healthy Codebase

Price for Eshop: 1056 Kč (€ 42.2)

Format: E-Book, Publisher: Pragmatic Bookshelf

Availability: E-book delivered electronically online