Formal Techniques for Networked and Distributed Systems - FORTE 2004 | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Formal Techniques for Networked and Distributed Systems - FORTE 2004
  • #
  • #

Formal Techniques for Networked and Distributed Systems - FORTE 2004

59.00 EUR 53.49 EUR 9% Off

Teilen:

Ähnliche Produkte

Formal Techniques for Networked and Distributed Systems

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
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 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)

213.99 EUR
Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)

Formal Specification Techniques for Engineering Modular C Programs (International Series in Software Engineering (1), Band 1)

149.84 EUR
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Formal Semantics and Proof Techniques for Optimizing VHDL Models

106.99 EUR
Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

113.14 EUR