Related Books
Language: en
Pages: 724
Pages: 724
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w
Language: en
Pages: 706
Pages: 706
Type: BOOK - Published: 1997-09-03 - Publisher: Lecture Notes in Computer Science
This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Stren
Language: en
Pages: 358
Pages: 358
Type: BOOK - Published: 1998-03-11 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE'98, held as part of
Language: en
Pages: 955
Pages: 955
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
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 industri
Language: en
Pages: 698
Pages: 698
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in