vdm Books | Bookwire

1.

Proof in the VDM

A Practitioner's Guide

Author:: Bicarregui, Juan C.

ISBN:: 978-0-387-19813-2

Book Format:: Paperback

List Price:: Contact Supplier contact

Publisher:: Springer

Publication Date:: Jan 1993

2.

Proof in the VDM

A Practitioner's Guide

Author:: Bicarregui, Juan C.

ISBN:: 978-0-387-19813-2

Book Format:: Paperback

List Price:: USD $55.95

Publisher:: Springer

Publication Date:: Dec 1993

3.

Proof in VDM - Case Studies

ISBN:: 978-3-540-76186-0

Book Format:: Paperback

List Price:: USD $109.99

Publisher:: Springer London, Limited

Publication Date:: Mar 1998

4.

Proof in VDM - Case Studies

ISBN:: 978-3-540-76186-0

Book Format:: Paperback

List Price:: AUD $237.95

Publisher:: Springer

Publication Date:: Jan 1998

5.

The Dialogues of Devils, on the Many Vices Which A... - a book by Rev John Macgdwan, Vdm

The Dialogues of Devils, on the Many Vices Which Abound in the Civil and Religous World

Author:: Rev John Macgdwan, Vdm
Rev. John MacGdwan, Vdm

ISBN:: 978-1-147-03389-2

Book Format:: Paperback

List Price:: USD $27.75

Publisher:: Creative Media Partners, LLC

Publication Date:: Mar 2010

6.

Poesis Poetic

Oder,Poetische Betrachtung der Poesie in 100....

Author:: Levander, Vdm

ISBN:: 978-1-141-48803-2

Book Format:: Paperback

List Price:: USD $22.75

Publisher:: Creative Media Partners, LLC

Publication Date:: Jan 2010

7.

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Volume 1: Conference Contributions

ISBN:: 978-3-540-54834-8

Book Format:: Paperback

List Price:: USD $109.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Oct 1991

8.

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Volume 2: Tutorials

ISBN:: 978-3-540-54868-3

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Oct 1991

9.

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Volume 2: Tutorials

ISBN:: 978-3-540-54868-3

Book Format:: Paperback

List Price:: AUD $170.95

Publisher:: Springer

Publication Date:: Jan 1991

10.

VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

Volume 1: Conference Contributions

ISBN:: 978-3-540-54834-8

Book Format:: Paperback

List Price:: AUD $238.95

Publisher:: Springer

Publication Date:: Jan 1991

11.

Pink Shoes

Do You Have Dancing Pink Shoes?

Author:: Leon, Anna

ISBN:: 978-1-4949-7741-2

Book Format:: Paperback

List Price:: USD $21.23

Publisher:: CreateSpace Independent Publishing Platform

Publication Date:: Jan 2014

12.

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe,...

ISBN:: 978-3-540-52513-4

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Apr 1990

13.

VDM '87. VDM - a Formal Method at Work

VDM-Europe Symposium 1987, Brussels, Belgium,...

ISBN:: 978-3-540-47740-2

Book Format:: Ebook

List Price:: USD $119.00

Publisher:: Springer

Publication Date:: Jan 2006

14.

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe,...

ISBN:: 978-3-540-52513-4

Book Format:: Paperback

List Price:: AUD $225.95

Publisher:: Springer

Publication Date:: Jan 1990

15.

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987 Brusses, Belgium...

ISBN:: 978-3-540-17654-1

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Mar 1987

16.

VDM '88, VDM - The Way Ahead

2nd VDM-Europe Symposium, Dublin, Ireland,...

ISBN:: 978-3-540-50214-2

Book Format:: Paperback

List Price:: USD $54.99

Publisher:: Springer Berlin / Heidelberg

Publication Date:: Aug 1988

17.

VDM '88. VDM - the Way Ahead

2nd VDM-Europe Symposium, Dublin, Ireland,...

ISBN:: 978-3-540-45955-2

Book Format:: Ebook

List Price:: USD $129.00

Publisher:: Springer

Publication Date:: Jan 2006

18.

VDM '90. VDM and Z - Formal Methods in Software Development

Third International Symposium of VDM Europe,...

ISBN:: 978-3-540-47006-9

Book Format:: Ebook

List Price:: USD $139.00

Publisher:: Springer

Publication Date:: Jan 2006

19.

VDM '87. VDM - A Formal Method at Work

VDM-Europe Symposium 1987 Brusses, Belgium...

ISBN:: 978-3-540-17654-1

Book Format:: Paperback

List Price:: AUD $196.95

Publisher:: Springer

Publication Date:: Jan 1987

20.

VDM '88, VDM - The Way Ahead

2nd VDM-Europe Symposium, Dublin, Ireland,...

ISBN:: 978-3-540-50214-2

Book Format:: Paperback

List Price:: AUD $203.95

Publisher:: Springer

Publication Date:: Jan 1988

Books » All » vdm

Related Keywords

Refine Options

Featured Books


1.		Proof in the VDM A Practitioner's Guide Author: Bicarregui, Juan C. ISBN: 978-0-387-19813-2 Book Format: Paperback List Price: Contact Supplier contact Publisher: Springer Publication Date: Jan 1993 Quantity Note

2.		Proof in the VDM A Practitioner's Guide Author: Bicarregui, Juan C. ISBN: 978-0-387-19813-2 Book Format: Paperback List Price: USD $55.95 Publisher: Springer Publication Date: Dec 1993 Quantity Note

3.		Proof in VDM - Case Studies ISBN: 978-3-540-76186-0 Book Format: Paperback List Price: USD $109.99 Publisher: Springer London, Limited Publication Date: Mar 1998 Quantity Note

4.		Proof in VDM - Case Studies ISBN: 978-3-540-76186-0 Book Format: Paperback List Price: AUD $237.95 Publisher: Springer Publication Date: Jan 1998 Quantity Note

5.		The Dialogues of Devils, on the Many Vices Which Abound in the Civil and Religous World Author: Rev John Macgdwan, Vdm Rev. John MacGdwan, Vdm ISBN: 978-1-147-03389-2 Book Format: Paperback List Price: USD $27.75 Publisher: Creative Media Partners, LLC Publication Date: Mar 2010 Quantity Note

6.		Poesis Poetic Oder,Poetische Betrachtung der Poesie in 100.... Author: Levander, Vdm ISBN: 978-1-141-48803-2 Book Format: Paperback List Price: USD $22.75 Publisher: Creative Media Partners, LLC Publication Date: Jan 2010 Quantity Note

7.		VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 1: Conference Contributions ISBN: 978-3-540-54834-8 Book Format: Paperback List Price: USD $109.99 Publisher: Springer Berlin / Heidelberg Publication Date: Oct 1991 Quantity Note

8.		VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 2: Tutorials ISBN: 978-3-540-54868-3 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Oct 1991 Quantity Note

9.		VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 2: Tutorials ISBN: 978-3-540-54868-3 Book Format: Paperback List Price: AUD $170.95 Publisher: Springer Publication Date: Jan 1991 Quantity Note

10.		VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings Volume 1: Conference Contributions ISBN: 978-3-540-54834-8 Book Format: Paperback List Price: AUD $238.95 Publisher: Springer Publication Date: Jan 1991 Quantity Note

11.		Pink Shoes Do You Have Dancing Pink Shoes? Author: Leon, Anna ISBN: 978-1-4949-7741-2 Book Format: Paperback List Price: USD $21.23 Publisher: CreateSpace Independent Publishing Platform Publication Date: Jan 2014 Quantity Note

12.		VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe,... ISBN: 978-3-540-52513-4 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Apr 1990 Quantity Note

13.		VDM '87. VDM - a Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium,... ISBN: 978-3-540-47740-2 Book Format: Ebook List Price: USD $119.00 Publisher: Springer Publication Date: Jan 2006 Quantity Note

14.		VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe,... ISBN: 978-3-540-52513-4 Book Format: Paperback List Price: AUD $225.95 Publisher: Springer Publication Date: Jan 1990 Quantity Note

15.		VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987 Brusses, Belgium... ISBN: 978-3-540-17654-1 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Mar 1987 Quantity Note

16.		VDM '88, VDM - The Way Ahead 2nd VDM-Europe Symposium, Dublin, Ireland,... ISBN: 978-3-540-50214-2 Book Format: Paperback List Price: USD $54.99 Publisher: Springer Berlin / Heidelberg Publication Date: Aug 1988 Quantity Note

17.		VDM '88. VDM - the Way Ahead 2nd VDM-Europe Symposium, Dublin, Ireland,... ISBN: 978-3-540-45955-2 Book Format: Ebook List Price: USD $129.00 Publisher: Springer Publication Date: Jan 2006 Quantity Note

18.		VDM '90. VDM and Z - Formal Methods in Software Development Third International Symposium of VDM Europe,... ISBN: 978-3-540-47006-9 Book Format: Ebook List Price: USD $139.00 Publisher: Springer Publication Date: Jan 2006 Quantity Note

19.		VDM '87. VDM - A Formal Method at Work VDM-Europe Symposium 1987 Brusses, Belgium... ISBN: 978-3-540-17654-1 Book Format: Paperback List Price: AUD $196.95 Publisher: Springer Publication Date: Jan 1987 Quantity Note

20.		VDM '88, VDM - The Way Ahead 2nd VDM-Europe Symposium, Dublin, Ireland,... ISBN: 978-3-540-50214-2 Book Format: Paperback List Price: AUD $203.95 Publisher: Springer Publication Date: Jan 1988 Quantity Note