VDM '87. VDM - A Formal Method at Work
Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold
Häftad, 1987
561 kr
Domain Science and Engineering
A Foundation for Software Development
Inbunden, Engelska, 2021
1 889 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, 1990
561 kr
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
Häftad, 1993
561 kr
Perspectives of System Informatics
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
Häftad, 2000
1 114 kr
Hoppa över listan
Mer från samma serie
Fundamentals of Algebraic Graph Transformation
Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Inbunden, 2006
1 335 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, 1993
561 kr
Perspectives of System Informatics
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
Häftad, 2000
1 114 kr