9787302411611 - introduction to computer science in the 21st century colleges practical planning materials formal methods(chinese edition) (1 risultati)
- Altre immagini
- Brossura
Da: liu xing, Nanjing, JS, Cinaliu xing
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 64,91
EUR 15,59 spedizioneSpedito da Cina a U.S.A.Quantità: 5 disponibili
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.
