1. Home
  2. Medien
  3. Bücher
  4. Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
  • #

Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)

53.49 EUR

Teilen:

Ä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
Security Policy in System-on-Chip Designs: Specification, Implementation and Verification

Security Policy in System-on-Chip Designs: Specification, Implementation and Verification

53.49 EUR
Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

Specification and Transformation of Programs: A Formal Approach to Software Development (Monographs in Computer Science)

53.49 EUR
Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

Transformations of Specifications and Proofs to Support an Evolutionary Formal Software Development

49.80 EUR
Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig

Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig

49.98 EUR