For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
Proof in the VDM
A Practitioner's Guide
Proof in the VDM
(
)
Author:
Bicarregui, Juan C.
Series title:
Formal Approaches to Computing and Information Technology Ser.
ISBN:
978-0-387-19813-2
Publication Date:
Dec 1993
Publisher:
Springer
Book Format:
Paperback
List Price:
USD $55.95
Buy Now
Book Details
Pages:
362
Detailed Subjects:
Computers / Artificial Intelligence / General
Computers / Software Development & Engineering / General
Computers / Software Development & Engineering / Systems Analysis & Design
Physical Dimensions
(W X L X H)
:
6.24 x 9.36 Inches
Book Weight:
1.397 Pounds
Related Books
View more
Notations for Sof...
Feijs, Loe M.
Paperback:
High-Integrity Sy...
Hinchey, Michael G.
Paperback:
The B Language an...
Lano, Kevin
Paperback:
On the Refinement...
Morgan Carroll
Hardback:
$49.95
Featured Books
The Light We Carry
Obama, Michelle
Paperback:
$19.99
Reading Genesis
Robinson, Marilynne
Hardback:
$29.00
Cinema Speculation
Tarantino, Quentin
Paperback:
$21.00
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.