Home

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1

Barnes and Noble

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1

Name: VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1
Availability: OutOfStock

$54.99

Barnes and Noble

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1

$54.99

Size: OS

Loading Inventory...

Buy Online

*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble

Keep Shopping

On Sale

New In

Men

Women

Baby and Kids

Beauty

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Home

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1

Barnes and Noble

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1

Barnes and Noble

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings / Edition 1

Size: OS

You May Also Like

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings

Swarm Intelligence: 7th International Conference, ANTS 2010, Brussels, Belgium,September 8-10, 2010 Proceedings / Edition 1

Conference on Applications of Numerical Analysis: Held in Dundee/Scotland, March 23 - 26, 1971 / Edition 1

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings / Edition 1

Intelligent Information and Database Systems: 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Proceedings

Computational Science and Its Applications - ICCSA 2010: International Conference, Fukuoka, Japan, March 23-26, Proceedings, Part I

Intelligent Information and Database Systems: 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23-26, 2020, Proceedings, Part I

Artificial Intelligence in Medicine: 6th Conference in Artificial Intelligence in Medicine, Europe, AIME '97, Grenoble, France, March 23-26, 1997, Proceedings

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings / Edition 1