Verwandte Artikel zu Introduction to Computer Science in the 21st Century...

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

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

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Sprache
Chinesisch
ISBN 10 
7302411611
ISBN 13 
9787302411611
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar