J-L Boulanger Forfatter
Visning: Type : Bog | Sprog : Alle | Format : Alle Der vises kun bøger
-
Bemærk: Kan ikke leveres før jul.
Formal Methods Applied to Complex Systems: Implementation of the B Method (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Methods Applied to Industrial Complex Systems (Bog, Hardback, Engelsk)A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Safety of Computer Architectures (Bog, Hardback, Engelsk)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
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Static Analysis of Software: The Abstract Interpretation (Bog, Hardback, Engelsk)The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis.... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
