FME 2001 > Editions

collapse details

by Jose N. Oliveira First published March 26th 2001

Sort by

Format

Language

Editions

Showing 1-2 of 2

FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, ... (Lecture Notes in Computer Science, 2021)

Published February 28th 2001 by Springer

2001, Paperback, 648 pages

Author(s):

Jose N. Oliveira (Editor),

Pamela Zave (Editor)

ISBN:

9783540417910 (ISBN10: 3540417915)

ASIN:

3540417915

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

FME 2001: Formal Methods for Increasing Software Productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings (Paperback)

Published March 12th 2014 by Springer

Paperback, 648 pages

Author(s):

Jose N. Oliveira (editor)

ISBN:

9783662163719 (ISBN10: 3662163713)

ASIN:

3662163713

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars