Symbolisches Model Checking variabler Verhaltensspezifikationen : Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung (2010. 124 S.)
  • 洋書
  • ポイントキャンペーン

Symbolisches Model Checking variabler Verhaltensspezifikationen : Konsistenzprüfung von Domänenspezifikationen im Rahmen der Softwareproduktlinienentwicklung (2010. 124 S.)  Paperback

Jonischkat, Tim

  • ウェブストア価格 ¥15,439(本体¥14,036)
  • VDM VERLAG DR. MÜLLER(2010発売)
  • ポイント 280pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automatische Verbesserung von orthogonalen Variabilitätsmodellen : Konsistenzprüfung und Korrektur von Variabilitätsmodellen für Softwareproduktlinien (2010. 84 S.)
  • 洋書
  • ポイントキャンペーン

Automatische Verbesserung von orthogonalen Variabilitätsmodellen : Konsistenzprüfung und Korrektur von Variabilitätsmodellen für Softwareproduktlinien (2010. 84 S.)  Paperback

Jonischkat, Tim

  • ウェブストア価格 ¥12,822(本体¥11,657)
  • VDM VERLAG DR. MÜLLER(2010発売)
  • ポイント 232pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。