Editions of Zb 2005: Formal Specification and Development in Z and B by Helen Treharne

ZB 2005: Formal Specification and Development in Z and B (Paperback)

Published September 10th 2008 by Springer

Paperback, 516 pages

Author(s):

Helen Treharne (Editor)

ISBN:

9783540809876 (ISBN10: 3540809872)

ASIN:

3540809872

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

Zb 2005: Formal Specification and Development in Z and B (Kindle Edition)

Published January 1st 2005 by Springer Verlag Berlin Heidelberg

Kindle Edition, 509 pages

Author(s):

Helen Treharne

ISBN:

9783540320074 (ISBN10: 3540320075)

ASIN:

3540320075

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

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (Lecture Notes in Computer Science, 3455)

Published January 11th 2008 by Springer

2005, Paperback

Author(s):

Helen Treharne (Editor),

Steve Schneider (Editor)

ISBN:

9783540255598 (ISBN10: 3540255591)

ASIN:

3540255591

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

Zb 2005 > Editions

by Helen Treharne First published January 1st 2005