Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Lecture Notes in Computer Science .11026) (1st ed. 2018. 2018. ix, 257 S. 38 SW-Abb. 235 mm)
  • 洋書
  • 電子版あり

Machine Learning for Dynamic Software Analysis: Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Lecture Notes in Computer Science .11026) (1st ed. 2018. 2018. ix, 257 S. 38 SW-Abb. 235 mm)  Paperback

Herausgegeben von Bennaceur, Amel/ Haehnle, Reiner/ Meinke, Karl

  • ウェブストア価格 ¥8,934(本体¥8,122)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING(2018発売)
  • ポイント 81pt
  • 海外取次在庫
Formal Methods for Executable Software Models (Lecture Notes in Computer Science .8483) (2014. 2014. viii, 343 S. 101 SW-Abb. 235 mm)
  • 洋書

Formal Methods for Executable Software Models (Lecture Notes in Computer Science .8483) (2014. 2014. viii, 343 S. 101 SW-Abb. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Bernardo, Marco/ Damiani, Ferruccio/ Haehnle, Reiner/ Johnsen, Einar Broch/ Schaefer, Ina

  • ウェブストア価格 ¥8,627(本体¥7,843)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING(2014発売)
  • ポイント 78pt
  • 海外取次在庫
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science Vol.7866) (2013. 2013. ix, 241 S. 125 SW-Abb. 235 mm)
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science Vol.7866) (2013. 2013. ix, 241 S. 125 SW-Abb. 235 mm)  Paperback

Herausgegeben von Giachino, Elena/ Haehnle, Reiner/ de Boer, Frank S./ Bonsangue, Marcello M.

  • ウェブストア価格 ¥7,086(本体¥6,442)
  • SPRINGER, BERLIN(2013発売)
  • ポイント 64pt
  • 海外取次在庫
Verification of Object-Oriented Software : The Key Approach (Lecture Notes in Computer Science) 〈Vol. 4334〉
  • 洋書

Verification of Object-Oriented Software : The Key Approach (Lecture Notes in Computer Science) 〈Vol. 4334〉  Paperback,  言語:ENG

Beckert, Bernhard (EDT)/ Hähnle, Reiner (et al., EDT)

  • ウェブストア価格 ¥18,293(本体¥16,630)
  • Springer(2007/02発売)
  • ポイント 166pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)
  • 洋書

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

  • ウェブストア価格 ¥10,012(本体¥9,102)
  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ポイント 91pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science .11424) (1st ed. 2019. 2019. xiii, 446 S. 1117 SW-Abb., 85 Farbabb. 235 mm)
  • 洋書

Fundamental Approaches to Software Engineering (Lecture Notes in Computer Science .11424) (1st ed. 2019. 2019. xiii, 446 S. 1117 SW-Abb., 85 Farbabb. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ van der Aalst, Wil

  • ウェブストア価格 ¥7,701(本体¥7,001)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING(2019発売)
  • ポイント 70pt
  • 海外取次在庫