booktheque

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

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

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה
2014
הוצאה
Springer
מהדורות
1
עמודים
608
ISBN
9783662186312

מקור הנתונים: Wikidata

עוד של 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