Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 11th International Conference on... Læs mere
Bemærk: Kan ikke leveres før jul.
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. This book is unique in giving an... Læs mere
Bemærk: Kan leveres før jul.
This tutorial book presents revised and extended lecture notes for a selection of the contributions presented at the International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), which was held in Braga, Portugal, in July 2009.
Bemærk: Kan leveres før jul.
Object-Process Methodology (OPM) is a comprehensive novel approach to systems engineering.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan leveres før jul.
User level: Beginning-Intermediate
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan leveres før jul.
Bemærk: Kan ikke leveres før jul.
With these updated patterns, you will have a collection of programs to port over to your own projects. The book begins with the 23 GoF... Læs mere
Bemærk: Kan ikke leveres før jul.
Intermediate user level
Bemærk: Kan ikke leveres før jul.
The Festschrift volume contains 27 papers written by close collaborators... Læs mere