booktheque

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

Dines Bjørner, C.A.R. Hoare, Hans Langmaack · 2014

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2014
Publisher
Springer
Editions
1
Pages
608
ISBN
9783662186312

Data source: Wikidata

More by Dines Bjørner

Structure of Pure Reason
Dines Bjørner · 2025
Domain Science and Engineering
Dines Bjørner · 2022
Software Engineering 2
Dines Bjørner · 2007
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Dines Bjørner · 2007
Software Engineering 3
Dines Bjørner · 2006
Perspectives of System Informatics
Dines Bjørner · 2003