logo
0

EbookBell.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link:  https://ebookbell.com/faq 


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookBell Team

Fme 2001 Formal Methods For Increasing Software Productivity 2001th Edition Jose N Oliveira

  • SKU: BELL-57417436
Fme 2001 Formal Methods For Increasing Software Productivity 2001th Edition Jose N Oliveira
$ 31.00 $ 45.00 (-31%)

5.0

28 reviews

Fme 2001 Formal Methods For Increasing Software Productivity 2001th Edition Jose N Oliveira instant download after payment.

Publisher: Springer Science & Business Media
File Extension: PDF
File size: 7.16 MB
Pages: 641
Author: Jose N. Oliveira
ISBN: 9783540417910, 3540417915
Language: English
Year: 2001
Edition: 2001

Product desciption

Fme 2001 Formal Methods For Increasing Software Productivity 2001th Edition Jose N Oliveira by Jose N. Oliveira 9783540417910, 3540417915 instant download after payment.

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

Related Products

Fme 2002formal Methodsgetting It Right International Symposium Of Formal Methods Europe Copenhagen Denmark July 2224 2002 Proceedings 1st Edition Natarajan Shankar Auth
-31%

Fme 2002formal Methodsgetting It Right International Symposium Of Formal Methods Europe Copenhagen Denmark July 2224 2002 Proceedings 1st Edition Natarajan Shankar Auth

4.1

30 reviews
$45.00 $31.00
Fme 2003 Formal Methods International Symposium Of Formal Methods Europe Pisa Italy September 814 2003 Proceedings 1st Edition Kouichi Kishida Auth
-31%

Fme 2003 Formal Methods International Symposium Of Formal Methods Europe Pisa Italy September 814 2003 Proceedings 1st Edition Kouichi Kishida Auth

4.8

34 reviews
$45.00 $31.00
Teaching Formal Methods Colognetfme Symposium Tfm 2004 Ghent Belgium November 1819 2004 Proceedings 1st Edition Kungkiu Lau Auth
-31%

Teaching Formal Methods Colognetfme Symposium Tfm 2004 Ghent Belgium November 1819 2004 Proceedings 1st Edition Kungkiu Lau Auth

4.3

38 reviews
$45.00 $31.00