VDM '90. VDM and Z - Formal Methods in Software Development Image close
VDM '90. VDM and Z - Formal Methods in Software Development
VDM '90. VDM and Z - Formal Methods in Software Development
Show Hide Adult Content
VDM '90. VDM and Z - Formal Methods in Software Development close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design

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

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$157.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $39.25 with Afterpay Learn more

6 weekly interest-free payments of $26.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 1-11 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$200.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Mes Premieres Constructions de Programmes on Paperback by A. Gerbier
$55.00
Mes Premieres Constructions de Programmes
by A. Gerbier ~ Paperback
Available - Usually ships in 3-4 weeks
Ubiquitous Networking
$188.00
Ubiquitous Networking
Paperback / softback
Available - Usually ships in 3-4 weeks
Database Systems for Advanced Applications
$314.00
Database Systems for Advanced Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Advanced Information Systems Engineering
$150.00
Advanced Information Systems Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithmic Game Theory
$263.00
Algorithmic Game Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications – ICCSA 2020
$289.00
Computational Science and Its Applications – ICCSA 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Directions in Human Factors for Interactive Systems by Henry Ledgard
$140.00
Directions in Human Factors for Interactive Systems
by Henry Ledgard ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Pattern Recognition. ICPR International Workshops and Challenges
$289.00
Pattern Recognition. ICPR International Workshops and Challenges
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ECCV 2022
$314.00
Computer Vision – ECCV 2022
Paperback / softback
Available - Usually ships in 3-4 weeks
Chatbot Research and Design
$188.00
Chatbot Research and Design
Paperback / softback
Available - Usually ships in 3-4 weeks
PRIMA 2020: Principles and Practice of Multi-Agent Systems
$150.00
PRIMA 2020: Principles and Practice of Multi-Agent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$150.00
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Collaboration Technologies and Social Computing
$175.00
Collaboration Technologies and Social Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Enterprise Design, Operations, and Computing
$150.00
Enterprise Design, Operations, and Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$152.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The present volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering, Z refers to Zermelo, a mathematician whose name is associated with set theory. Many computing science, programming and software engineering proceedings are published regularly. The ones by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming. In Europe, there is very much interest in methodology, semantics and techniques, that is, in understanding how we build and what it is that we are building. The papers of these proceedings basically fall into four major groups: Applications, Methodology, Formalisations, and Foundations. The Methodology group has been further subdivided into five areas: Specification Methodology, Design Methodology, Modularity, Object Orientedness, and Processes, Concurrency and Distributed Systems.
Release date NZ
April 4th, 1990
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
  • Undergraduate
Contributors
  • Edited by C.A.R. Hoare
  • Edited by Dines Bjorner
  • Edited by Hans Langmaack
Illustrations
XX, 588 p.
Pages
588
Dimensions
160x240x30
ISBN-13
9783540525134
Product ID
2842956

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Applications
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science