Formal Techniques in Real-Time and Fault-Tolerant Systems | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Techniques in Real-Time and Fault-Tolerant Systems
  • #
  • #

Formal Techniques in Real-Time and Fault-Tolerant Systems

53.49 EUR

Teilen:

Ähnliche Produkte

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science (1165), Band 1165)

53.49 EUR
Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

49.98 EUR
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, ... Notes in Computer Science

103.04 EUR
Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Communication Technology, 55, Band 55)

Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques ... and Communication Technology, 55, Band 55)

197.54 EUR
Formal Techniques for Distributed Objects Components and Systems

Formal Techniques for Distributed Objects Components and Systems

53.49 EUR
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA ... Notes in Computer Science, Band 8803)

53.49 EUR