Computer Aided Verification of Coordinating Processes
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a......
fra 1 899,-
Tilgjengelig i 1 butikker
Frakt og levering
Produktinformasjon
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
Topplisten: Other Brand Matematikk og naturfag
Spesifikasjon
Produkt
| Produktnavn | Computer Aided Verification of Coordinating Processes |
| Merke | Other Brand |
Pris og prishistorikk
Akkurat nå er 1 899,- den billigste prisen for Computer Aided Verification of Coordinating Processes blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste matematikk og naturfag for å være sikker på at du gjør det beste kjøpet.
Applied Statistics Using Stata PocketReintroduction of Fish and Wildlife PopulationsMathematical Methods in Chemical EngineeringScaling in Ecology with a Model System
Fluvial GeomorphologyTracking the Golden IslesThe Last ButterfliesIntroduction to Quantitative Ecology
Brock Biology of Microorganisms PocketThe Global CasinoThe Origins of LifeProbability and Random Variables: A Beginner"s Guide Pocket