Books By FASE 2000 Staff

1.

Fm 2008 - Formal Methods

15th International Symposium on Formal...

Author:: Sere, K.

ISBN:: 978-3-540-68235-6

Book Format:: Paperback

List Price:: AUD $187.95

Publisher:: Springer

Publication Date:: May 2008

2.

Formal Methods and Software Engineering

10th International Conference on Formal...

ISBN:: 978-3-540-88194-0

Book Format:: Ebook

List Price:: USD $119.00

Publisher:: Springer

Publication Date:: Oct 2008

3.

Fundamental Approaches to Software Engineering

3rd International Conference, FASE 2000, Held...

Author:: FASE 2000 Staff

ISBN:: 978-3-540-67261-6

Book Format:: Paperback

List Price:: AUD $169.95

Publisher:: Springer

Publication Date:: Jan 2000

4.

On the Construction of Engineering Handbooks

With an Illustration from the Railway Safety Domain

Author:: Gruner, Stefan
Kumar, Apurva
Maibaum, Tom
Roggenbach, Markus

ISBN:: 978-3-030-44647-5

Book Format:: Paperback

List Price:: USD $59.99USD $54.99

Publisher:: Springer International Publishing AG

Publication Date:: Apr 2020

5.

Fundamental Approaches to Software Engineering

3rd International Conference, FASE 2000, Held...

Author:: FASE 2000 Staff

ISBN:: 978-3-540-67261-6

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Mar 2000

6.

Formal Methods at the Crossroads. from Panacea to Foundational Support

10th Anniversary Colloquium of UNU/IIST, the...

ISBN:: 978-3-540-20527-2

Book Format:: Paperback

List Price:: AUD $169.95

Publisher:: Springer

Publication Date:: Jan 2003

7.

Fm 2008 - Formal Methods

15th International Symposium on Formal...

Author:: Sere, K.

ISBN:: 978-3-540-68235-6

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: May 2008

8.

FM 2008: Formal Methods

15th International Symposium on Formal...

ISBN:: 978-3-540-68237-0

Book Format:: Ebook

List Price:: USD $119.00

Publisher:: Springer London, Limited

Publication Date:: Jun 2008

9.

Fundamental Approaches to Software Engineering

Third International Conference, FASE 2000...

ISBN:: 978-3-540-46428-0

Book Format:: Ebook

List Price:: USD $109.00

Publisher:: Springer

Publication Date:: Jun 2003

10.

Formal Methods at the Crossroads. from Panacea to Foundational Support

10th Anniversary Colloquium of UNU/IIST, the...

ISBN:: 978-3-540-40007-3

Book Format:: Ebook

List Price:: USD $109.00

Publisher:: Springer

Publication Date:: Mar 2011

11.

Formal Methods at the Crossroads. from Panacea to Foundational Support

10th Anniversary Colloquium of UNU/IIST, the...

ISBN:: 978-3-540-20527-2

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Nov 2003

12.

Formal Methods and Software Engineering

10th International Conference on Formal...

ISBN:: 978-3-540-88193-3

Book Format:: Paperback

List Price:: AUD $196.95

Publisher:: Springer

Publication Date:: Jan 2008

13.

Formal Methods and Software Engineering

10th International Conference on Formal...

ISBN:: 978-3-540-88193-3

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Oct 2008

Books » FASE 2000 Staff Books » Books-By

Related Keywords

Refine Options

Featured Books


1.		Fm 2008 - Formal Methods 15th International Symposium on Formal... Author: Sere, K. ISBN: 978-3-540-68235-6 Book Format: Paperback List Price: AUD $187.95 Publisher: Springer Publication Date: May 2008 Quantity Note

2.		Formal Methods and Software Engineering 10th International Conference on Formal... ISBN: 978-3-540-88194-0 Book Format: Ebook List Price: USD $119.00 Publisher: Springer Publication Date: Oct 2008 Quantity Note

3.		Fundamental Approaches to Software Engineering 3rd International Conference, FASE 2000, Held... Author: FASE 2000 Staff ISBN: 978-3-540-67261-6 Book Format: Paperback List Price: AUD $169.95 Publisher: Springer Publication Date: Jan 2000 Quantity Note

4.		On the Construction of Engineering Handbooks With an Illustration from the Railway Safety Domain Author: Gruner, Stefan Kumar, Apurva Maibaum, Tom Roggenbach, Markus ISBN: 978-3-030-44647-5 Book Format: Paperback List Price: USD $59.99USD $54.99 Publisher: Springer International Publishing AG Publication Date: Apr 2020 Quantity Note

5.		Fundamental Approaches to Software Engineering 3rd International Conference, FASE 2000, Held... Author: FASE 2000 Staff ISBN: 978-3-540-67261-6 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Mar 2000 Quantity Note

6.		Formal Methods at the Crossroads. from Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the... ISBN: 978-3-540-20527-2 Book Format: Paperback List Price: AUD $169.95 Publisher: Springer Publication Date: Jan 2003 Quantity Note

7.		Fm 2008 - Formal Methods 15th International Symposium on Formal... Author: Sere, K. ISBN: 978-3-540-68235-6 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: May 2008 Quantity Note

8.		FM 2008: Formal Methods 15th International Symposium on Formal... ISBN: 978-3-540-68237-0 Book Format: Ebook List Price: USD $119.00 Publisher: Springer London, Limited Publication Date: Jun 2008 Quantity Note

9.		Fundamental Approaches to Software Engineering Third International Conference, FASE 2000... ISBN: 978-3-540-46428-0 Book Format: Ebook List Price: USD $109.00 Publisher: Springer Publication Date: Jun 2003 Quantity Note

10.		Formal Methods at the Crossroads. from Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the... ISBN: 978-3-540-40007-3 Book Format: Ebook List Price: USD $109.00 Publisher: Springer Publication Date: Mar 2011 Quantity Note

11.		Formal Methods at the Crossroads. from Panacea to Foundational Support 10th Anniversary Colloquium of UNU/IIST, the... ISBN: 978-3-540-20527-2 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Nov 2003 Quantity Note

12.		Formal Methods and Software Engineering 10th International Conference on Formal... ISBN: 978-3-540-88193-3 Book Format: Paperback List Price: AUD $196.95 Publisher: Springer Publication Date: Jan 2008 Quantity Note

13.		Formal Methods and Software Engineering 10th International Conference on Formal... ISBN: 978-3-540-88193-3 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Oct 2008 Quantity Note