1～3件／全3件 セーフサーチON
  •  
Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI)
  • 洋書

Formal Description Techniques and Protocol Specification, Testing and Verification : FORTE XI/PSTV XVIII'98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI)  Paperback,  言語：ENG

Budkowski, Stan (EDT)/ Cavalli, Ana (EDT)/ Najm, Elie (EDT)

  • ウェブストア価格 ¥48,629（本体¥44,209）
  • Springer-Verlag New York Inc.（2013/03発売）
  • ポイント 442pt
  • 海外取次在庫
SDL 2007 : Design for Dependable Systems : 13th International SDL Forum, Paris, France, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4745〉
  • 洋書

SDL 2007 : Design for Dependable Systems : 13th International SDL Forum, Paris, France, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4745〉  Paperback,  言語：ENG

Gaudin, Emmanuel (EDT)/ Najm, Élie (et al., EDT)

  • ウェブストア価格 ¥12,155（本体¥11,050）
  • Springer（2007/10発売）
  • ポイント 110pt
  • 海外取次在庫
Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, France, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4229〉
  • 洋書

Formal Techniques for Networked and Distributed Systems - FORTE 2006 : 26th IFIP WG 6.1 International Conference, France, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4229〉  Paperback,  言語：ENG

Najm, Elie (EDT)/ Pradat-Peyre, Jean-Francois (et al., EDT)

  • ウェブストア価格 ¥24,313（本体¥22,103）
  • Springer（2006/10発売）
  • ポイント 221pt
  • 海外取次在庫
1～3件／全3件
  •