Language: English
Published by Springer International Publishing AG, 2018
ISBN 10: 3319844857 ISBN 13: 9783319844855
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 146.95
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 146.94
Quantity: Over 20 available
Add to basketCondition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 165.92
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Condition: New. pp. 302.
Seller: Revaluation Books, Exeter, United Kingdom
Hardcover. Condition: Brand New. 284 pages. 9.50x6.00x0.75 inches. In Stock.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Language: English
Published by Springer International Publishing, 2018
ISBN 10: 3319844857 ISBN 13: 9783319844855
Seller: moluna, Greven, Germany
Condition: New. 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.
Language: English
Published by Springer International Publishing, 2017
ISBN 10: 3319507621 ISBN 13: 9783319507620
Seller: moluna, Greven, Germany
Gebunden. Condition: New. 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.
Condition: New. Print on Demand pp. 302.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 302.