หนังสือดิจิตอล > วิทยาศาสตร์ > คณิตศาสตร์ > Jiacun Wang: Formal Methods in Computer Science (ePUB)

Jiacun Wang
Formal Methods in Computer Science [EPUB ebook]

สนับสนุน

ปกของ Jiacun Wang: Formal Methods in Computer Science (ePUB)

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logi

€91.78

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

รูป EPUB ● หน้า 350 ● ISBN 9781498775359 ● สำนักพิมพ์ CRC Press ● การตีพิมพ์ 2019 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 7125441 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Jiacun Wang West Long Branch, New Jersey, USA) Tepfenhart William (Monmouth University West Long Branch, New Jersey, USA) Wang Jiacun (Monmouth University

48,816 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Jeffrey Holt: Linear Algebra

Jeffrey Holt: Linear Algebra

Now in its 2nd edition, Linear Algebra with Applications blends computational and conceptual topics to prepare students for the rigors of conceptual thinking in an abstract setting. The early treatme …

ปกของ David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

David J. (Naval Surface Warfare Center, Dahlgren, Virginia, USA) Marchette & Rakesh M. (University of Houston, Texas, USA) Verma: Cybersecurity Analytics

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

ปกของ Peter Sprent: Data Driven Statistical Methods

Peter Sprent: Data Driven Statistical Methods

Calculations once prohibitively time-consuming can be completed in microseconds by modern computers. This has resulted in dramatic shifts in emphasis in applied statistics. Not only has it freed us f …

ปกของ Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

Colin Fay & Cervan Girard: Engineering Production-Grade Shiny Apps

From the Reviews ‘[This book] contains an excellent blend of both Shiny-specific topics … and practical advice from software development that fits in nicely with Shiny apps. You will find many nugget …

ปกของ P. McCullagh: Tensor Methods in Statistics

P. McCullagh: Tensor Methods in Statistics

This book provides a systematic development of tensor methods in statistics, beginning with the study of multivariate moments and cumulants. The effect on moment arrays and on cumulant arrays of maki …

ปกของ Seshu Kumar (Department of Chemical Engineering, National Institute of Technology Rourkela, Odisha, India) Damarla & Madhusree Kundu: Fractional Order Processes

Seshu Kumar (Department of Chemical Engineering, National Institute of Technology Rourkela, Odisha, India) Damarla & Madhusree Kundu: Fractional Order Processes

The book presents efficient numerical methods for simulation and analysis of physical processes exhibiting fractional order (FO) dynamics. The book introduces FO system identification method to estim …

ปกของ John A. Cornell & Andre I. Khuri: Response Surfaces: Designs and Analyses

John A. Cornell & Andre I. Khuri: Response Surfaces: Designs and Analyses

Response Surfaces: Designs and Analyses; Second Edition presents techniques for designing experiments that yield adequate and reliable measurements of one or several responses of interest, fitting an …

ปกของ Gabriel (Point Pleasant, New Jersey, USA) Abellan & Nelson (Point Pleasant, New Jersey, USA) Bolivar: Quantum Mechanics

Gabriel (Point Pleasant, New Jersey, USA) Abellan & Nelson (Point Pleasant, New Jersey, USA) Bolivar: Quantum Mechanics

This volume will act as a guide through the various aspects of quantum mechanics. It not only covers the basics but also addresses new themes developed in the field of quantum mechanics in recent yea …

ปกของ John H. Skillings & Donald Weber: A First Course in the Design of Experiments

John H. Skillings & Donald Weber: A First Course in the Design of Experiments

Most texts on experimental design fall into one of two distinct categories. There are theoretical works with few applications and minimal discussion on design, and there are methods books with limite …

ปกของ Richard A. Mollin: Quadratics

Richard A. Mollin: Quadratics

The first thing you will find out about this book is that it is fun to read. It is meant for the browser, as well as for the student and for the specialist wanting to know about the area. The footnot …

หน้าต่อไป >>>