ISBN: 9787302411611 - introduction to computer science in the 21st century colleges practical planning materials formal methods(chinese edition) (1 risultati)

paperback. Condizione: New. Language:Chinese.Paperback. Pub Date: 2015-12-01 Publisher: Tsinghua University Press formal methods means that there is a strict mathematical foundations of software and systems development methodology. software and system support statute. design. verification and other activities and evolution. With the growing demand for software trustworthiness. importance and attention formal methods of increasing. The book has 12 chapters. Chapter 1 Overview of formal methods. formal methods Chapter 2 d.…