Pharmacy, Health & Wellness

All Health & Wellness

Pharmacy

Allergy & Sinus

Vitamins & Supplements

Caregiver Hub

Protein, Fitness, & Weight Management

Women's Wellness

Pain Management

First Aid & Injury Recovery

Vision Center

Digestive Health & Wellness

Cough, Cold, & Flu

Eyecare

Kids Health & Wellness

Diabetes Management

International Medicine

Benefits Hub

Hero image 0 of Textbooks in Mathematics Formal Methods in Computer Science, (Hardcover), 0 of 1

Jiacun Wang

Textbooks in Mathematics Formal Methods in Computer Science, (Hardcover)

(No ratings yet)

Key item features

Textbooks in Mathematics Formal Methods in Computer Science, (Hardcover)
Author: CRC Press
ISBN: 9780367225704
Format: Hardcover
Publication Date: 2019-06-25
Page Count: 294

Specs

Manual & guide type
Instruction Manual
Book format
Hardcover
Edition
1
Pages
294
Language
English
Brand
Jiacun Wang

Current price is $200.00

Price when purchased online

Free shipping
Free 30-day returns

How do you want your item?

Columbus, 43215

Arrives by Thu, Apr 30

Sold and shipped by Endless Reads

4.760431654676259 stars out of 5, based on 1390 seller reviews(4.8)

Report an issue with this seller

Free 30-day returns

More seller options (4)

Starting from $225.25

Similar items you might like

Based on what customers bought

Numerical Mathematics and Scientific Com Finite Element Methods for Maxwell's Equations, (Hardcover) $179.71
current price $179.71
Numerical Mathematics and Scientific Com Finite Element Methods for Maxwell's Equations, (Hardcover)
Mathematics in Science and Engineering Dynamical Systems Method for Solving Nonlinear Operator Equations: Volume 208, Book 208, (Hardcover) $190.18
current price $190.18
Mathematics in Science and Engineering Dynamical Systems Method for Solving Nonlinear Operator Equations: Volume 208, Book 208, (Hardcover)
Studies in Autonomic, Data-Driven and In Foundations of Mathematical Modelling for Engineering Problem Solving, (Hardcover) $164.36
current price $164.36
Studies in Autonomic, Data-Driven and In Foundations of Mathematical Modelling for Engineering Problem Solving, (Hardcover)
Higher Mathematics for Science and Engineering, (Hardcover) $83.54 Was $99.99
current price $83.54, Was $99.99
Higher Mathematics for Science and Engineering, (Hardcover)
Discrete Mathematics and Its Application Handbook of Finite State Based Models and Applications, (Hardcover) $134.38
current price $134.38
Discrete Mathematics and Its Application Handbook of Finite State Based Models and Applications, (Hardcover)
Mathematics and Visualization Advances in Multiresolution for Geometric Modelling, (Paperback) $133.53
current price $133.53
Mathematics and Visualization Advances in Multiresolution for Geometric Modelling, (Paperback)
Mathematics of Biology, (Hardcover) $168.86
current price $168.86
Mathematics of Biology, (Hardcover)
Algebra & Geometry: An Introduction to University Mathematics, (Hardcover) $201.34 Was $215.33
current price $201.34, Was $215.33
Algebra & Geometry: An Introduction to University Mathematics, (Hardcover)
Studies in Fuzziness and Soft Computing Intuitionistic Fuzzy Sets: Theory and Applications, Book 35, (Hardcover) $164.18
current price $164.18
Studies in Fuzziness and Soft Computing Intuitionistic Fuzzy Sets: Theory and Applications, Book 35, (Hardcover)
Mathematics in Science and Engineering Volterra Integral and Differential Equations, Book 202, (Hardcover) $239.79
current price $239.79
Mathematics in Science and Engineering Volterra Integral and Differential Equations, Book 202, (Hardcover)
Wittgenstein's Philosophy of Mathematics, (Hardcover) $215.07
current price $215.07
Wittgenstein's Philosophy of Mathematics, (Hardcover)
Mathematics in Science and Engineering Mathematical Models of the Cell and Cell Associated Objects: Volume 206, Book 206, (Hardcover) $236.16
current price $236.16
Mathematics in Science and Engineering Mathematical Models of the Cell and Cell Associated Objects: Volume 206, Book 206, (Hardcover)
Encyclopaedia of Mathematical Sciences Theory of Operator Algebras III, Book 127, (Hardcover) $192.36
current price $192.36
Encyclopaedia of Mathematical Sciences Theory of Operator Algebras III, Book 127, (Hardcover)
Student Solutions Manual for Mathematical Reasoning for Elementary Teachers, (Paperback) $104.23
current price $104.23
Student Solutions Manual for Mathematical Reasoning for Elementary Teachers, (Paperback)
Advanced Mathematical Physics Kac-Moody & Virasoro Algebras (V3), Book 3, (Hardcover) $154.56
current price $154.56
Advanced Mathematical Physics Kac-Moody & Virasoro Algebras (V3), Book 3, (Hardcover)
Analytic Number Theory, (Hardcover) $178.39
current price $178.39
Analytic Number Theory, (Hardcover)
Studies in Computational Intelligence Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty, Book 300, (Paperback) $182.67
current price $182.67
Studies in Computational Intelligence Uncertainty Theory: A Branch of Mathematics for Modeling Human Uncertainty, Book 300, (Paperback)
Progress in Mathematics The Geometry of Complex Domains, Book 291, (Hardcover) $133.64
Options
current price $133.64
Progress in Mathematics The Geometry of Complex Domains, Book 291, (Hardcover)
Annals of Mathematics Studies Mumford-Tate Groups and Domains: Their Geometry and Arithmetic, Book 183, (Hardcover) $159.65
current price $159.65
Annals of Mathematics Studies Mumford-Tate Groups and Domains: Their Geometry and Arithmetic, Book 183, (Hardcover)
Open Problems in Mathematics, (Paperback) $171.95
current price $171.95
Open Problems in Mathematics, (Paperback)

About this item

Product details

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Textbooks in Mathematics Formal Methods in Computer Science, (Hardcover)
Author: CRC Press
ISBN: 9780367225704
Format: Hardcover
Publication Date: 2019-06-25
Page Count: 294

info:

We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it.

Specifications

Manual & guide type

Instruction Manual

Book format

Hardcover

Edition

Pages

294

Warranty

Warranty information

Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.

Customer ratings & reviews

0 ratings|0 reviews

This item does not have any reviews yet

Rewards debit card.Earn 3% cash back, on up to $150spent each month.Terms apply.

Join OnePay Cash

Rollbacks & more

Mother's Day

Grocery

Clothing, Shoes, & Accessories

Baby & Kids

Pharmacy, Health & Wellness

Home, Garden & Tools

Electronics

Gaming

Auto & Tires

Personal Care

Beauty

Toys & Outdoor Play

Household Essentials

Pet Supplies

School, Office & Art Supplies

Sports & Outdoors

Books, Movies, & Music

Collectibles

Party Supplies

Walmart Business

Auto Care Services

Pharmacy

Health Services

Vaccines

Vision Center

Benefit Programs

Insurance Services

Lists

Registries

Gift Cards

Spark Good

Custom Cakes

Custom Cupcakes

Featured

Photo Gifts

OnePay Hub

Money & Other Services

Gift Cards

Protection Services

Home & Tech Services

Subscriptions

Subscription Products

Walmart Business

Industry solutions

It’s easier in the app

Pickup & Delivery

Get inspired

Textbooks in Mathematics Formal Methods in Computer Science, (Hardcover)

Key item features

Specs

How do you want your item?

More seller options (4)

Similar items you might like

Based on what customers bought

Numerical Mathematics and Scientific Com Finite Element Methods for Maxwell's Equations, (Hardcover) $179.71

Numerical Mathematics and Scientific Com Finite Element Methods for Maxwell's Equations, (Hardcover)

Mathematics in Science and Engineering Dynamical Systems Method for Solving Nonlinear Operator Equations: Volume 208, Book 208, (Hardcover) $190.18

Mathematics in Science and Engineering Dynamical Systems Method for Solving Nonlinear Operator Equations: Volume 208, Book 208, (Hardcover)

Studies in Autonomic, Data-Driven and In Foundations of Mathematical Modelling for Engineering Problem Solving, (Hardcover) $164.36

Studies in Autonomic, Data-Driven and In Foundations of Mathematical Modelling for Engineering Problem Solving, (Hardcover)

Higher Mathematics for Science and Engineering, (Hardcover) $83.54 Was $99.99

Higher Mathematics for Science and Engineering, (Hardcover)

Discrete Mathematics and Its Application Handbook of Finite State Based Models and Applications, (Hardcover) $134.38

Discrete Mathematics and Its Application Handbook of Finite State Based Models and Applications, (Hardcover)

Mathematics and Visualization Advances in Multiresolution for Geometric Modelling, (Paperback) $133.53

Mathematics and Visualization Advances in Multiresolution for Geometric Modelling, (Paperback)

Mathematics of Biology, (Hardcover) $168.86

Mathematics of Biology, (Hardcover)

Algebra & Geometry: An Introduction to University Mathematics, (Hardcover) $201.34 Was $215.33

Algebra & Geometry: An Introduction to University Mathematics, (Hardcover)

Studies in Fuzziness and Soft Computing Intuitionistic Fuzzy Sets: Theory and Applications, Book 35, (Hardcover) $164.18

Studies in Fuzziness and Soft Computing Intuitionistic Fuzzy Sets: Theory and Applications, Book 35, (Hardcover)

Mathematics in Science and Engineering Volterra Integral and Differential Equations, Book 202, (Hardcover) $239.79

Mathematics in Science and Engineering Volterra Integral and Differential Equations, Book 202, (Hardcover)

Wittgenstein's Philosophy of Mathematics, (Hardcover) $215.07

Wittgenstein's Philosophy of Mathematics, (Hardcover)

Mathematics in Science and Engineering Mathematical Models of the Cell and Cell Associated Objects: Volume 206, Book 206, (Hardcover) $236.16

Mathematics in Science and Engineering Mathematical Models of the Cell and Cell Associated Objects: Volume 206, Book 206, (Hardcover)

Encyclopaedia of Mathematical Sciences Theory of Operator Algebras III, Book 127, (Hardcover) $192.36