9 resultater (0,22536 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Nulstil filter

Produkter
Fra
Butikker

Testing Software and Systems - Bog af Silvia Bonfanti - Paperback

Testing Software and Systems - Bog af Silvia Bonfanti - Paperback

This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.

DKK 732.95
2

Formal Methods: Foundations and Applications - Bog af Yoni Zohar - Paperback

Formal Methods: Foundations and Applications - Bog af Yoni Zohar - Paperback

This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.

DKK 462.95
2

Model Checking Software - Bog af Christian Schilling - Paperback

Model Checking Software - Bog af Christian Schilling - Paperback

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26¿27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

DKK 467.95
2

Computer Safety, Reliability, and Security - Bog af Stefano Tonetta, Friedemann Bitsch, mfl. - Paperback

Computer Safety, Reliability, and Security - Bog af Stefano Tonetta, Friedemann Bitsch, mfl. - Paperback

This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of..

DKK 683.95
1

The Living Soil - Bog af Kodoth Prabhakaran Nair - Paperback

The Living Soil - Bog af Kodoth Prabhakaran Nair - Paperback

This book will address the importance of the soil management concept, vis-à-vis chemical fertilizer use on soil. Historically, soil testing has been used to quantify bio availability of plant nutrients to field grown crops. However, contemporary soil tests are based on philosophies and procedures developed several decades ago without significant changes in their general approach. For a soil test to be accurate, one needs to clearly understand the physico-chemico-physiologic processes at the soil-plant..

DKK 563.95
2