Boeken van Jim Davies
Jeannette M. Wing
Jim Woodcook
Jim Davies
FM'99 - Formal Methods
€ 120,99
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations.
Meer
Jim Davies
Wolfram Schulte
Mike Barnett
Formal Methods and Software Engineering
€ 132,99
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations.
Meer
Erika Szyszczak
Jim Davies
Mads Andenæs
Tarjei Bekkedal
Developments in Services of General Interest
€ 96,94
This is the third book in the series Legal Issues of Services of General Interest. The book focuses upon a set of research questions on the recent developments in the emergence of services of general interest (SGIs) as a distinct EU concept.
Meer
Jim Davies
Leila Silva
Adenilso Simao
Formal Methods: Foundations and Applications
€ 60,99
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010.
Meer
Jim Davies
Jeremy Gibbons
Integrated Formal Methods
€ 138,99
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
Meer
Jeannette M. Wing€ 120,99
Jim Davies€ 132,99
Erika Szyszczak€ 96,94
Jim Davies€ 60,99
Jim Davies€ 138,99