Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7609) (2012. 2012. XIII, 618 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification and Validation (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7610) (2012. 2012. XIII, 368 S. 235 mm)  Paperback

Herausgegeben von Margaria, Tiziana/ Steffen, Bernhard/ Merten, Maik

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません