Development and Formal Verification of TTCAN: Time-Triggered Controller Area Network | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Development and Formal Verification of TTCAN: Time-Triggered Controller Area Network
  • #

Development and Formal Verification of TTCAN: Time-Triggered Controller Area Network

72.04 EUR

Teilen:

Ähnliche Produkte

Foundations of Algebraic Specification and Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

122.94 EUR
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

120.34 EUR
New Developments in Formal Languages and Applications

New Developments in Formal Languages and Applications

150.41 EUR
Formal Methods for Distributed System Development

Formal Methods for Distributed System Development

195.84 EUR
B 2007: Formal Specification and Development in B

B 2007: Formal Specification and Development in B

53.49 EUR