Formal Methods for Discrete-Time Dynamical Systems

Language: English

Published by Springer International Publishing, 2017

3319507621 / 9783319507620

Series: Book 91 of 378 - Studies in Systems, Decision and Control

  • Hardcover
  • New
See all details

Seller: moluna, Greven, Germanymoluna

5-star seller

AbeBooks seller since July 9, 2020

Hardcover

Condition: New

£ 132.11

£ 40.87 shipping 
Ships from Germany to U.S.A.

Quantity: Over 20 available

Add to basket
Free 30-day returns

Item description from seller

Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a self-contained exposition of temporal logic control for finite nondeterministic systems, which are useful even for seasoned formal methods researchersPresents formal verification and control algorithms for disc.

Seller Inventory # 132950050

Title
Formal Methods for Discrete-Time Dynamical Systems
Author
Calin Belta|Boyan Yordanov|Ebru Aydin Gol
Publisher
Springer International Publishing
Publication year
2017
Condition
New
Binding
Hardcover
Language
English
ISBN 10
3319507621
ISBN 13
9783319507620
Dimensions
2.3 x 24.2 x 16.3
Series
Book 91 of 378: Studies in Systems, Decision and Control
Seller catalogs
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Germany

5-star seller

AbeBooks seller since July 9, 2020

Shipping rates from Germany to U.S.A.

Item16 to 45 business days16 to 45 business days
First item£ 40.87£ 40.87
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Store description

Online Handel nur mit Neubüchern

Seller's business information

Moluna GmbH

Engberdingdamm 27
Greven, Germany 48268

About Us

Legal website operator identification:

Moluna GmbH
Represented by the general manager Helge Blischke
Engberdingdamm 27
48268 Greven
Germany
Telephone: 02571/5698933
Telefax: 02571/5698930
E-Mail: abe@moluna.de
VAT No.: DE296281834
listed in the commercial register of the local court Steinfurt
Commercial register number - Part B of the commercial register - 10553

We are a member of the initiative „FairCommerce“ since 24.07.2015.
For more information, see: www.haendlerbund.de/faircommerce.