J-L Boulanger Forfatter

• 

  PRIS

  2.012,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Formal Methods Applied to Complex Systems: Implementation of the B Method (Bog, Hardback, Engelsk)

  Af: J-L Boulanger

  PRIS

  2.012,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv
• 

  PRIS

  1.909,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Formal Methods Applied to Industrial Complex Systems (Bog, Hardback, Engelsk)

  Af: J-L Boulanger

  A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.

  PRIS

  1.909,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv
• 

  PRIS

  1.598,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Safety of Computer Architectures (Bog, Hardback, Engelsk)

  Af: J-L Boulanger

  This book presents, in a single volume, a full description of all the constraints (including legal contexts around performance, reliability norms, etc. ) and examples of... Læs mere

  PRIS

  1.598,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv
• 

  PRIS

  1.794,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Static Analysis of Software: The Abstract Interpretation (Bog, Hardback, Engelsk)

  Af: J-L Boulanger

  The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.... Læs mere

  PRIS

  1.794,- kr

  FRAGTFRI LEVERING

  Levering: Skaffevare (forvent 14 - 30 hverdage)

  Læg i kurv