- 4 Results
Lowest price: € 42.79, highest price: € 85.59, average price: € 73.74
1
VDM '90. VDM and Z - Formal Methods in Software Development - Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Order
at Springer.com
€ 85.59
Shipment: € 0.001
Order
Provider details
Sponsored link
Dines Bjørner; C.A.R. Hoare; Hans Langmaack:

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

ISBN: 9783540470069

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 mathematic… More...

new in stock. Shipping costs:zzgl. Versandkosten. (EUR 0.00)
close (x)
2
VDM '90. VDM and Z - Formal Methods in Software Development
Order
at Springer.com
€ 42.79
Order
Details & Shipping
Sponsored link

Formal Methods in Software Development:

VDM '90. VDM and Z - new book

ISBN: 9783540470069

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 mathematic… More...

Nr. 978-3-540-47006-9. Shipping costs:Worldwide free shipping, , zzgl. Versandkosten., plus shipping costs
close (x)
3
VDM '90. VDM and Z - Formal Methods in Software Development - Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Order
at Springer.com
€ 83.29
Shipment: € 0.001
Order
Provider details
Sponsored link
Dines Bjørner; C.A.R. Hoare; Hans Langmaack:
VDM '90. VDM and Z - Formal Methods in Software Development - new book

ISBN: 9783540470069

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering Entwurfsmethodik, Spezifikationsmeth… More...

  - Shipping costs: EUR 0.00
close (x)
4
VDM '90. VDM and Z - Formal Methods in Software Development - Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Order
at Springer.com
€ 83.29
Order
Details & Shipping
Sponsored link
Dines Bjørner; C.A.R. Hoare; Hans Langmaack:
VDM '90. VDM and Z - Formal Methods in Software Development - new book

ISBN: 9783540470069

Computer Science; Theory of Computation; Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Software Engineering Entwurfsmethodik, Spezifikationsmeth… More...

  - Shipping costs:zzgl. Versandkosten., plus shipping costs
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
VDM '90. VDM and Z - Formal Methods in Software Development
Author:
Title:
ISBN:

9783540470069

Details of the book - VDM '90. VDM and Z - Formal Methods in Software Development


EAN (ISBN-13): 9783540470069
Publisher: Springer Science+Business Media

Book in our database since 2017-01-15T04:01:52-05:00 (New York)
Detail page last modified on 2024-01-31T14:39:32-05:00 (New York)
ISBN/EAN: 9783540470069

ISBN - alternate spelling:
978-3-540-47006-9
Alternate spelling and related search-keywords:
Book author: langmaack
Book title: software

Information from Publisher

Author: Dines Bjørner; C.A.R. Hoare; Hans Langmaack
Title: Lecture Notes in Computer Science; VDM '90. VDM and Z - Formal Methods in Software Development - Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings
Publisher: Springer; Springer Berlin
588 Pages
Publishing year: 2005-06-30
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XX, 588 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Entwurfsmethodik; Spezifikationsmethodik; design; distributed systems; formal method; formalisation; programming; software engineering; specification methodology; verteilte Systeme; C; Theory of Computation; Software Engineering; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; BC

Object orientation and formal techniques.- An algebraic approach to refinement.- Modal logic programming.- Z specification of an object manager.- Correctness in the small.- A formal approach to hypertext using post-prototype formal specification.- Programming with VDM domains.- A buffering system implementation using VDM.- Formal specifications as reusable frameworks.- Z and the refinement calculus.- Modularizing the formal description of a database system.- Modular extensions to Z.- Adding abstract datatypes to Meta-IV.- Towards a semantics for object-Z.- HOOD and Z for the development of complex software systems.- Using Z as a specification calculus for object-oriented systems.- Specifying open distributed systems with Z.- Refinement of state-based concurrent systems.- Refining data to processes.- Two approaches towards the formalisation of VDM.- Type checking BSI/VDM-SL.- Type inference in Z.- Recursive definitions revisited.- Towards the semantics of the definitional language of MetaSoft.- On conservative extensions of syntax in the process of system development.- A formal semantics for Z and the link between Z and the relational algebra.- A naive domain universe for VDM.
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.
< to archive...