1. Home
  2. Medien
  3. Bücher
  4. Specification Case Studies in RAISE
  • #
  • #

Specification Case Studies in RAISE

106.99 EUR

Teilen:
Gesponsert

Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))

Medimops DE
106.99 EUR
22-04-2026 05:43:32
Gesponsert

Specification Case Studies in RAISE

SpringerLink DE
106.99 EUR
21-04-2026 20:54:33

Ähnliche Produkte

Advances in Design and Specification Languages for Embedded Systems

Advances in Design and Specification Languages for Embedded Systems

160.49 EUR
IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection

IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection

53.49 EUR
A state-based approach to prototyping use case specifications

A state-based approach to prototyping use case specifications

68.00 EUR

Monetary Policy and Macroeconomic Shocks:

49.00 EUR
Software Test Cases Generation: Automatic software test cases generation from UML specification diagrams and formal software test cases using HLPN

Software Test Cases Generation: Automatic software test cases generation from UML specification diagrams and formal software test cases using HLPN

68.00 EUR
The Language of Specifications of Letters Patent for Inventions: With the Authorities and Decisions in All the Important and Latest Cases

The Language of Specifications of Letters Patent for Inventions: With the Authorities and Decisions in All the Important and Latest Cases

0.00
Toward a Semantic Specification of Deep Case

Toward a Semantic Specification of Deep Case

90.09 EUR
Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

53.49 EUR