VDM '87. VDM - A Formal Method at Work
Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold
Häftad
552 kr
Domain Science and Engineering
A Foundation for Software Development
Häftad, Engelska, 2022
1 841 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
VDM '90. VDM and Z - Formal Methods in Software Development
Dines Bjørner, C.A.R. Hoare, Hans Langmaack
Häftad
552 kr
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Häftad
552 kr
Hoppa över listan
Mer från samma serie
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Inbunden
1 314 kr
Hoppa över listan
Du kanske också är intresserad av
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Häftad
552 kr