Formal Techniques for Networked and Distributed Systems | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... Notes in Computer Science
  • #
  • #

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... Notes in Computer Science

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
Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

113.04 EUR
Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

49.98 EUR
Formal Techniques for Distributed Objects Components and Systems

Formal Techniques for Distributed Objects Components and Systems

53.49 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 Semantics and Proof Techniques for Optimizing VHDL Models

Formal Semantics and Proof Techniques for Optimizing VHDL Models

106.99 EUR