Prodotto Ricercato: obd computer software
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Me…
A partire da
Disponibilità
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engin…
This book constitutes the revised selected papers of the collocated workshops of the 11th Internati…
The Pernambuco School on Software Engineering (PSSE) 2004 was the ?rst in a series of events devote…
Modern civilization relies on a functioning information infrastructure. As a result, dependability …
This book argues that the key problems of software systems development (SSD) are socio-technical ra…
ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Softw…
This volume contains the proceedings of the 6th International Symposium on Ambient Intelligence (IS…
This book provides comprehensive coverage of verification and debugging techniques for embedded sof…
The book begins with an introduction to software reliability, models and techniques. The book is an…
Although software engineering can trace its beginnings to a NATO conf- ence in 1968, it cannot be s…
In many fields of modern mathematics specialised scientific software becomes increasingly important…