From Action Systems to Distributed Systems
The Refinement Approach
AvEmil Sekerinski,Luigia Petre
E-bok
PDF, Engelska, 2016802 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
Formal methods traditionally address the question of transforming software engineering into a mature engineering discipline. This essentially refers to trusting that the software-intensive systems that form our society''s infrastructures are behaving according to their specifications. More recently, formal methods are also used to understand propert
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 11758
Dependability and Computer Engineering
Luigia Petre, Kaisa Sere, Elena Troubitsyna
Inbunden, 2011
2 468 kr