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

Filtrar la búsqueda

  • Libros (1)

  • Nuevo (1)
Más información

a

Intervalo de precios personalizado (EUR)

a

  • Idioma: Chino

    Editorial: 清华大学出版社, 2015

    7302411611 / 9787302411611

    • Tapa blanda

    Librería: liu xing, Nanjing, JS, Chinaliu xing

    Vendedor de 5 estrellas
    Contactar con el vendedor

    Condición: Nuevo

    EUR 66,67

    Envío por EUR 16,02 
    Se envía de China a Estados Unidos de America

    Cantidad 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.…