From Action Systems to Distributed Systems (e-bog) af -

Sekerinski, Emil (redaktør)

From Action Systems to Distributed Systems e-bog

504,55 DKK (ekskl. moms 403,64 DKK)

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

E-bog 504,55 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Andre brugere har også købt

Bæredygtig kost

Bæredygtig kost

Julie Juanita Larsen

59,09 DKK

Mineralogi og dynamisk geologi

Mineralogi og dynamisk geologi

Martin Vahl

40,27 DKK

Vor klodes saga. En skildring af jordens udvikling og fortidsliv

Vor klodes saga. En skildring af jordens udvikling og fortidsliv

J.o. Bøving-Petersen

64,92 DKK

Economics

Seager, Henry Rogers

59,77 DKK

Room of One's Own

Room of One's Own

Virginia Woolf

3,66 DKK

Forfattere Sekerinski, Emil (redaktør)

Forlag Chapman and Hall/CRC

Udgivet 2016-04-27

Længde 312 sider

Genrer Games development and programming

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9781498701594

Beskrivelse

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