9787302411611 - introduction to computer science in the 21st century colleges practical planning materials formal methods(chinese edition) (1 resultados)
- Más imágenes
- Tapa blanda
Librería: liu xing, Nanjing, JS, Chinaliu xing
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 65,12
Envío por EUR 15,64Se envía de China a Estados Unidos de AmericaCantidad disponible: 5 disponibles
paperback. Condición: 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.
