1. Главная
  2. Ресурсы
  3. Библиотечный поиск
FME'96: IndustrialBenefit and Advancesin Formal Methods Jan Van LeeuwenMarie-Claude GaudelJim Woodcock1996 год

FME'96: Industrial Benefit and Advances in Formal Methods
книга

Страница публикацииПубликация в OpenAlex
Год издания: 1996
Авторы: Jan Van Leeuwen, Marie-Claude Gaudel, Jim Woodcock, Marc Aiguier, Roswitha Bardohl, Michel Beaudouin-Lafon, Joffroy Beauquier, Michel Bidoit, Pierre Bieber, Robin Bloomfield, Frédéric Boniol, Alexander Borusan, Stephen Brookes, Bettina Buth, E. Cate, J. Cazin, Maura Cerioli, Ghassan Chehaibar, Christine Choppy, Ingo Claßen, Tim Clement, Mirko Conrad, Pierre-Alban Cros, Werner Damm, Olivier Danvy, C Dahl, Mourad Debbabi, Carlos Delgado Kloos, Roger Duke, Heiko D rr, Christian Engel, Andreas Fett, John Fitzgerald, David De Frutos-Escrig, Robert Geisler, F. J. M. Geurts, Reinhard German, Andrew C. Gordon, Wolfgang Grieskamp, Jan Friso Groote, Martin Große–Rhode, Jim Grundy, Ulrich Hannemann, Bo Stig, Hansen Kirsten, Mark Hansen, Ian J. Hayes, Jifeng He, Maritta Heisel, Friedrich von Henke, Matthew G. Hennessy, Stephan Herrmann, Jan Hiemer, Michaela Huhn, Wil Janssen Km't Jensen, Gernot T. John, Stuart Kent, Marcus Klar, Torsten Klein, Tjabbe Kloppenburg, P. Kluit, Kevin Lano, Frank Lattemann, Michel Lemoine, Jacques Loeckx, Rita Loogen, Michael J. Mac, Alfred Mahr, Bruno Marre, Javier Martı́nez, Jan de Meer, Pierre Michel, C.A. Middelburg, Eugenio Moggi
Издательство: Springer Science+Business Media
Источник: Lecture notes in computer science
Ключевые слова: Manufacturing Process and Optimization