997 resultados para 270799 Ecology and Evolution not elsewhere classified

The variety of variables in computer-aided real-time programming

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Model checking with abstract types

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Visualisation of refinements

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Compilation of specifications

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Specification-based retrieval strategies for module reuse

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Specifying mode requirements for embedded systems

Relevância:

100.00% 100.00%

Publicador:

Veja mais

A formal basis for a program compilation proof tool

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Market power in electricity generation in Queensland

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Report on state revenue sharing relativities: 2002 update

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Report on state revenue sharing relativities: 2002 update. Supporting information

Relevância:

100.00% 100.00%

Publicador:

Veja mais

A Z Based approach to verifying security protocols

Relevância:

100.00% 100.00%

Publicador:

Veja mais

On randomization versus synchronization

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Specification matching of state-based modular components

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Verifying program transformations using partial correctness semantics

Relevância:

100.00% 100.00%

Publicador:

Veja mais

Using Z to animate Object-Z specifications

Relevância:

100.00% 100.00%

Publicador:

Veja mais