Our Location
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
International Product
  1. VDM 90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Item 1 of 1
International Product
Item 1 of 1

VDM 90. VDM and Z - Formal Methods in Software Development : Third International Symposium of VDM Europe

KielFRGApril 17-211990Proceedings

Printed Book
SR 600
Inclusive of VAT
Sold as: EACH
SR36Per Month/24 months
Author:Bjørner, Dines
Date of Publication: 1990
Book classification:Computer & Technology,English Books,
No. of pages:604 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR600
Incl. VAT
  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery

About this Product

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.
Show more

Specifications

SKU9783540525134
Manufacturer Number9783540525134
year published1990
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2026. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.