VDM '87. VDM - A Formal Method at Work
Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold
Häftad
709 kr
Domain Science and Engineering
A Foundation for Software Development
Häftad, Engelska, 2022
2 369 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
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
- Utgivningsdatum2022-11-10
- Mått178 x 254 x 23 mm
- Vikt786 g
- FormatHäftad
- SpråkEngelska
- SerieMonographs in Theoretical Computer Science. An EATCS Series
- Antal sidor401
- FörlagSpringer Nature Switzerland AG
- ISBN9783030734862
Tillhör följande kategorier
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, C. a. R. Hoare, C. A. R. Hoare
Häftad
709 kr
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Häftad
709 kr
Hoppa över listan
Mer från samma serie
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Inbunden
1 689 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
709 kr