Articles liés à Introduction to Computer Science in the 21st Century...

Introduction to Computer Science in the 21st Century Colleges practical planning materials Formal Methods(Chinese Edition) - Couverture souple

 
9787302411611: Introduction to Computer Science in the 21st Century Colleges practical planning materials Formal Methods(Chinese Edition)
Couverture souple
ISBN 10 : 7302411611 ISBN 13 : 9787302411611

Synopsis

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 describes the development of an early classic content. the rest is divided into three: Part I (3 to 5) for the system modeling papers. highlighting migration system. basic computing finite automata. Petri nets model; novella (Chapter 6 and 7) in the form of the statute articles. focused on temporal logic and its application in concurrent systems described by the attribute; next (8 to Chap...

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Langue
chinois
ISBN 10 
7302411611
ISBN 13 
9787302411611
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible