Catalog > Ciencia > Matemáticas > Jiacun Wang: Formal Methods in Computer Science (PDF)

Jiacun Wang
Formal Methods in Computer Science [PDF ebook]

Soporte

Portada de Jiacun Wang: Formal Methods in Computer Science (PDF)

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

€92.45

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Formato PDF ● Páginas 350 ● ISBN 9781498775335 ● Editorial CRC Press ● Publicado 2019 ● Descargable 3 veces ● Divisa EUR ● ID 7125440 ● Protección de copia Adobe DRM

Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

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

48.701 Ebooks en esta categoría

Portada de Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra

Gerhard X. Ritter & Gonzalo Urcid: Introduction to Lattice Algebra

Lattice theory extends into virtually every branch of mathematics, ranging from measure theory and convex geometry to probability theory and topology. A more recent development has been the rapid esc …

Portada de E. Shashi Menon: Liquid Pipeline Hydraulics

E. Shashi Menon: Liquid Pipeline Hydraulics

Avoiding lengthy mathematical discussions, this reference specifically addresses issues affecting the day-to-day practices of those who design, operate, and purchase liquid pipelines in the oil, wate …

Portada de Mine (Denison university, OH, USA) Dogucu & Alicia A. Johnson: Bayes Rules!

Mine (Denison university, OH, USA) Dogucu & Alicia A. Johnson: Bayes Rules!

An engaging, sophisticated, and fun introduction to the field of Bayesian statistics, Bayes Rules!: An Introduction to Applied Bayesian Modeling brings the power of modern Bayesian thinking, modeling …

Portada de Oleksandr Nakonechnyi & Yuri Podlipenko: Guaranteed Estimation Problems in the Theory of Linear Ordinary Differential Equations with Uncertain Data

Oleksandr Nakonechnyi & Yuri Podlipenko: Guaranteed Estimation Problems in the Theory of Linear Ordinary Differential Equations with Uncertain Data

This monograph is devoted to the construction of optimal estimates of values of linear functionals on solutions to Cauchy and two-point boundary value problems for systems of linear first-order ordin …

Portada de Judah Rosenblatt: Basic Statistical Methods and Models for the Sciences

Judah Rosenblatt: Basic Statistical Methods and Models for the Sciences

The use of statistics in biology, medicine, engineering, and the sciences has grown dramatically in recent years and having a basic background in the subject has become a near necessity for students …

Portada de Kevin Ferland: Discrete Mathematics and Applications

Kevin Ferland: Discrete Mathematics and Applications

Discrete Mathematics and Applications, Second Edition is intended for a one-semester course in discrete mathematics. Such a course is typically taken by mathematics, mathematics education, and comput …

Portada de Pauly Awad & Seifedine Kadry: Mathematics for Engineers and Science Labs Using Maxima

Pauly Awad & Seifedine Kadry: Mathematics for Engineers and Science Labs Using Maxima

This book is designed to be a vital companion to math textbooks covering the topics of precalculus, calculus, linear algebra, differential equations, and probability and statistics. While these exist …

Portada de Giuseppe (Scuola Normale Superiore, Pisa, Italy) Da Prato & Luciano (Universit¿ di Trento, Italy) Tubaro: Stochastic Partial Differential Equations and Applications

Giuseppe (Scuola Normale Superiore, Pisa, Italy) Da Prato & Luciano (Universit¿ di Trento, Italy) Tubaro: Stochastic Partial Differential Equations and Applications

Based on the proceedings of the International Conference on Stochastic Partial Differential Equations and Applications-V held in Trento, Italy, this illuminating reference presents applications in fi …

Portada de Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

Stefaan Caenepeel & Freddy Van Oystaeyen: Hopf Algebras and Quantum Groups

This volume is based on the proceedings of the Hopf-Algebras and Quantum Groups conference at the Free University of Brussels, Belgium. It presents state-of-the-art papers – selected from over 65 par …

Portada de Brian Albright & William P Fox: Mathematical Modeling with Excel

Brian Albright & William P Fox: Mathematical Modeling with Excel

This text presents a wide variety of common types of models found in other mathematical modeling texts, as well as some new types. However, the models are presented in a very unique format. A typical …

siguiente página >>>