Vdm '90 > Editions

by D. Bjorner First published June 1990

Sort by

Format

Language

Editions

Showing 1-1 of 1

Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)

Published April 1st 1990 by Springer-Verlag

Paperback, 579 pages

Author(s):

H. Langmaack (Editor)

ISBN:

9780387525136 (ISBN10: 0387525130)

ASIN:

0387525130

Edition language:

English

Average rating:

0.0 (0 ratings)

more details

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