Share
Fm'99 - Formal Methods
Jeannette M. Wing (Author)
·
Springer Verlag Gmbh
· Physical Book
Fm'99 - Formal Methods - Jeannette M. Wing
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Monday, July 01 and
Thursday, July 11.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Fm'99 - Formal Methods"
This book constitutes, together with its compagnion LNCS 1709, the refereed proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM'99, held in Toulouse,... Leer másThis book constitutes, together with its compagnion LNCS 1709, the refereed proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM'99, held in Toulouse, France in September 1999.The 92 revised full papers presented in the two volumes were carefully reviewed and selected from a total of 259 paper submissions from 35 different countries. Also included are 15 abstracts describing work in progress and industrial applications. The papers are organized in topical sections. Besides five invited papers this volume contains the following sections: integration into the development process; software architecture; European Association for Theoretical Computer Science (EATCS); model checking; the B method; composition and synthesis; telecommunications; security; object-orientation; testing.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
✓ Producto agregado correctamente al carro, Ir a Pagar.