Order Total (1 Item Items):
Shipping Destination:
Brijesh Dongol (59 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (59)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (49)
- As New, Fine or Near Fine (9)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (37)
- Not Print on Demand (40)
Language (1)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
US$ 39.41
US$ 10.02 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
-
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.22
US$ 15.86 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.63
US$ 15.86 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 65.02
US$ 20.50 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 65.40
US$ 20.50 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
Formal Methods Teaching : Third International Workshop and Tutorial, Fmtea 2019, Held As Part of the Third World Congress on Formal Methods, Fm 2019, Porto, Portugal, October 7, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.20
US$ 19.86 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Software Engineering for Robotics
First Edition
Hardcover. Condition: As New. 1. Auflage. from Germany, will be dispatched immediately.
-
Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.61
US$ 19.86 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
-
Formal Methods Teaching : Third Internat
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New.
-
Integrated Formal Methods : 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.27
US$ 19.86 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Formal Methods Teaching : Third International Workshop and Tutorial, Fmtea 2019, Held As Part of the Third World Congress on Formal Methods, Fm 2019, Porto, Portugal, October 7, 2019, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.27
US$ 19.86 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 89.88
US$ 13.24 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 264 pages. 9.25x6.10x0.71 inches. In Stock.
-
Condition: New.
-
Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2021
ISBN 10: 3030634604 ISBN 13: 9783030634605
US$ 93.72
US$ 16.55 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 461 pages. 9.25x6.10x1.42 inches. In Stock.
-
Integrated Formal Methods
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Nov 2020, 2020
ISBN 10: 3030634604 ISBN 13: 9783030634605
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.
-
Formal Methods Teaching
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Okt 2019, 2019
ISBN 10: 3030324400 ISBN 13: 9783030324407
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch.
-
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Language: English
Published by Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030324400 ISBN 13: 9783030324407
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019.The 14 full papers presented together with 3 abstract papers werecarefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
-
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16ż20, 2020, Proceedings
Language: English
Published by Springer International Publishing, 2020
ISBN 10: 3030634604 ISBN 13: 9783030634605
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020.The 24 full papers and 2 short papers were carefully reviewed andselected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques.
-
Taschenbuch. Condition: Neu. Formal Methods Teaching | Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings | Brijesh Dongol (u. a.) | Taschenbuch | xvi | Englisch | 2019 | Springer | EAN 9783030324407 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Software Engineering for Robotics
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 150.15
US$ 15.86 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: As New. Unread book in perfect condition.
-
Condition: New.
-
Condition: As New. Unread book in perfect condition.
-
Software Engineering for Robotics
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 155.84
US$ 15.86 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: New.
