Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

Poczta Polska 20.99 zł DPD Kurier 12.99 zł InPost Kurier 12.99 zł Paczkomat 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Modern Formal Methods and Applications

Name: Modern Formal Methods and Applications
Brand: Springer-Verlag New York Inc.
SKU: 01416484
Price: 497.08 PLN
Availability: InStock
Author: Hossam A. Gabbar
ISBN: 9781402042225

Hossam A. Gabbar

Język

Angielski

Książka Twarda

Kod Libristo: 01416484

Wydawnictwo Springer-Verlag New York Inc., grudzień 2005

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods... Cały opis

Kod Libristo: 01416484

275 b

497.08 zł

Dostępna u dostawcy Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Mogłoby Cię także zainteresować

Highwayman Craig Saunders

Miękka

54.34 zł

ABC for Jazz Lovers Pascal Kober

Miękka

108.08 zł

We Count It All Joy Rachel Toalson

Miękka

61.29 zł

Shadow of the Moon: A Fantasy of Love, Murder and Werewolves Kwen D Griffeth

Miękka

66.44 zł

Living Out Loud Christina Lee

Miękka

59.38 zł

Media, Conflict, and the State in Africa Nicole (University of Oxford) Stremlau

Twarda

470.97 zł

Arranging Other People's Lives Dr Marcia Batiste Smith Wilson

Miękka

46.37 zł

Your Scoliosis Treatment Cookbook: Eating your way to a healthier spine! Kevin Lau

Miękka

106.77 zł

Blockchain: The Essential Guide to Understanding and Using Blockchain Technology for Beginners David Chang

Miękka

89.12 zł

Baking Soda: Natural Remedies for Health, Beauty and Home Josephine Simon

Miękka

46.17 zł

Contributions To The Theory Of Games, V1: Annals Of Mathematics Studies, No. 24 H W Kuhn

Miękka

133.29 zł

You Can Prophesy: A Prophetic Pocket-Guide of Proven Strategies and Instructions On How To Release Personal and Corporate Prophecy Dwann Rollinson

Miękka

54.34 zł

One Direction: Up All Night One Direction

Miękka

88.42 zł

Inspiration Alden L Thompson

Miękka

103.54 zł

Dare Barry McDonagh

Miękka

82.27 zł

Human Heart, Cosmic Heart Thomas Cowan

Twarda

86.60 zł

Rasputin: Suite from the Ballet for Orchestra Yevhen Stankovych

Miękka

382.47 zł

Skylore from Planet Earth Dayle L. Brown

Miękka

109.90 zł

Ethical Leadership C. Millar

Miękka

518.96 zł

Hero Code William H. McRaven

Twarda

77.43 zł

Proficiency level English Reading - Practice texts and tests Andrew Rossiter

Miękka

55.35 zł

Wild Dyeing: From the Garden to Color – An Introduction to Natural Vegetable Dyes Céline Philippe

Twarda

120.18 zł

Crochet Your Own Cat Mieko Shindo

Miękka

80.45 zł

Visual Group Theory Stephan Rosebrock

Miękka

228.98 zł

Formal methods are a robust approach for problem solving. It is based on logic and algebraic methods where problems can be formulated in a way that can help to find an appropriate solution. This book shows the basic concepts of formal methods and highlights modern modifications and enhancements to provide a more robust and efficient problem solving tool.Applications are presented from different disciplines such as engineering where the operation of chemical plants is synthesized using formal methods. Computational biology becomes easier and systematic using formal methods. Also, hardware compilation and systems can be managed using formal methods.This book will be helpful for both beginners and experts to get insights and experience on modern formal methods by viewing real applications from different domains.