Lets Explore,

Cover of Practical Formal Methods with Vdm

Practical Formal Methods with Vdm

(Paperback)

Darrel Ince,

McGraw-Hill Education - Europe (Publisher)

Published

1991

Reviews

0

Computing and Information Technology Computer programming / software engineering Software Engineering

By: Darrel Ince | Publisher: McGraw-Hill Education - Europe | Released: 01 Sep 1991

Ships within 4-6 days

Out Of Stock

₹1946.00

₹2821.00

31% off

This book reflects the increased amount of emphasis placed on the mathematical methods of software development in undergraduate computer science courses. The VDM notation is described in detail, with each chapter starting with an Overview/Motivation Section. It then goes on to summarize the syntax of the VDM used. Objectives and aims are stated and the progress of the student is judged by self-assessment procedures.

More books by Darrel Ince

Cover of The Computer

The Computer

Darrel Ince

₹350.0₹291.0

Cover of Object-Oriented Software Engineering: With C++

Object-Oriented Software Engineering: With C++

Darrel Ince

Cover of Software Engineering: a Practitioner's Approach

Software Engineering: a Practitioner's Approach

Darrel Ince

Cover of Introduction to Software Quality Assurance and Its Implementation

Introduction to Software Quality Assurance and Its Implementation

Darrel Ince

₹1776.0₹1403.0

Cover of Derivation and Validation of Software Metrics

Derivation and Validation of Software Metrics

Martin Shepperd

₹6048.0₹3992.0

Cover of Dictionary of the Internet

Dictionary of the Internet

Darrel Ince

Cover of Software Engineering: a Practitioner's Approach

Software Engineering: a Practitioner's Approach

Darrel Ince

Cover of An Introduction to Discrete Mathematics and Formal System Specification

An Introduction to Discrete Mathematics and Formal System Specification

Darrel Ince

Cover of Software Engineering

Software Engineering

Darrel Ince

Cover of Software Engineering

Software Engineering

Darrel Ince

Cover of Software Engineering

Software Engineering

Darrel Ince

Cover of Practical Formal Methods with Vdm

Practical Formal Methods with Vdm

Darrel Ince

₹2821.0₹2003.0

Cover of Block 1 Pack

Block 1 Pack

Darrel Ince

Cover of Software Development

Software Development

Darrel Ince

Cover of Software Prototyping, Formal Methods and V. D. M.

Software Prototyping, Formal Methods and V. D. M.

Darrel Ince

Cover of Software Engineering: A Practitioner's Approach European Adaption

Software Engineering: A Practitioner's Approach European Adaption

Darrel Ince

Cover of Software Development

Software Development

Darrel Ince

Cover of A Dictionary of the Internet

A Dictionary of the Internet

Darrel Ince

Cover of Software Engineering

Software Engineering

Darrel Ince

Cover of Software Quality and Reliability

Software Quality and Reliability

Darrel Ince

Cover of Software Engineering

Software Engineering

Darrel Ince

Cover of Block 1 Pack

Block 1 Pack

Darrel Ince

Cover of Introduction to Software Project Management and Quality Assurance

Introduction to Software Project Management and Quality Assurance

Darrel Ince

Cover of Software Engineering: a Practitioner's Approach

Software Engineering: a Practitioner's Approach

Darrel Ince

Cover of ISO 9001 and Software Quality Assurance

ISO 9001 and Software Quality Assurance

Darrel Ince

Cover of From Data Structures to Patterns

From Data Structures to Patterns

Darrel Ince

₹6533.0₹4442.0

Cover of Software Quality Assurance

Software Quality Assurance

Darrel Ince

Cover of The Software Life Cycle

The Software Life Cycle

Derek Andrews

Cover of Block 3 Pack

Block 3 Pack

Shailey Minocha

Cover of Symbolic Execution

Symbolic Execution

David Coward

₹1363.0₹1227.0

Similar Products

Cover of VDM '87. VDM - A Formal Method at Work

VDM '87. VDM - A Formal Method at Work

John E. Skandalakis

Cover of VDM '87. VDM - A Formal Method at Work

VDM '87. VDM - A Formal Method at Work

Michael Mac an Airchinnigh

Cover of VDM '87. VDM - A Formal Method at Work

VDM '87. VDM - A Formal Method at Work

Cover of Software Prototyping, Formal Methods and V. D. M.

Software Prototyping, Formal Methods and V. D. M.

Darrel Ince

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

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

Hans Langmaack

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

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

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

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

Hans Langmaack

₹5599.0₹3583.0

Cover of An Introduction to Discrete Mathematics and Formal System Specification

An Introduction to Discrete Mathematics and Formal System Specification

Darrel Ince

Vidya AI