Articoli correlati a Introduction to Computer Science in the 21st Century...

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

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

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Lingua
Cinese
ISBN 10 
7302411611
ISBN 13 
9787302411611
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile