Prodotto Ricercato: obd computer software
This book constitutes the proceedings of the 12th International Workshop on Numerical Software Veri…
A partire da
Disponibilità
As social beings, humans are not living in isolation but rather interact and communicate within the…
This book constitutes the thoroughly refereed proceedings of the 15th International Workshop on Fas…
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Che…
This book is about maintaining computer software. Its aim is to improve a pro gram's capacity for…
Software Project Secrets: Why Software Projects Fail offers a new path to success in the software i…
Software Development is moving towards a more agile and more flexible approach. It turns out that t…
For over a decade, software process improvement (SPI) has been promoted as an approach to improve s…
Die Zahl der Embedded Systeme, die uns im Alltag begegnen, wächst stetig. Gleichzeitig nimmt die K…
This volume constitutes the strictly refereed post-workshop proceedings of the Fourth International…
Many books focus on increasing the quality of software through the use of formal methods. However, …
There is currently no description available
