Order Total (1 Item Items):
Shipping Destination:
Formal Methods Software Engineering (Over 1,100 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (1,100)
- 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
Collectible Attributes
- First Edition (8)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (324)
- Not Print on Demand (881)
Language (3)
Free Shipping
Seller Location
Seller Rating
-
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Published by Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574 ISBN 13: 9780201627572
Language: English
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
More buying choices from other sellers on AbeBooks
New offers from £ 110.46
Used offers from £ 4.69
Also find Softcover
-
£ 11.20
Convert currency£ 8.91 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.33.
More buying choices from other sellers on AbeBooks
New offers from £ 108.02
Used offers from £ 20.11
Also find Softcover
-
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Published by Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Language: English
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
£ 13.31
Convert currency£ 9.46 shipping from Germany to United KingdomQuantity: 2 available
Add to basketBroschiert. Condition: Gut. XIV, 455 Seiten : graph. Darst. Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 740.
More buying choices from other sellers on AbeBooks
New offers from £ 56.85
Used offers from £ 22.77
Also find Softcover
-
£ 25.37
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
More buying choices from other sellers on AbeBooks
New offers from £ 25.37
Used offers from £ 46.43
Also find Softcover
-
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development; Software Engineering Notes Vol. 15 No. 4;
Publication Date: 1990
Language: English
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
£ 8.86
Convert currency£ 6.87 shipping from Germany to United KingdomQuantity: 1 available
Add to basketSoftcover-Grossformat; Condition: Gut. 149 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Einband leicht berieben, ansonsten ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 420.
-
Formal Methods For Software Engineering 1st ed. 2022
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 29.12
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 29.12
Used offers from £ 32.50
Also find Softcover
-
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15-16 May 1992 (Workshops in Computing)
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
More buying choices from other sellers on AbeBooks
New offers from £ 50.24
Used offers from £ 29.65
Also find Softcover
-
Practical Formal Methods in Software Engineering
Published by Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Language: English
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
£ 22.03
Convert currency£ 10.68 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketpaperback. Condition: Very Good.
More buying choices from other sellers on AbeBooks
New offers from £ 44.14
Used offers from £ 32.71
Also find Softcover
-
Condition: NEW.
More buying choices from other sellers on AbeBooks
New offers from £ 37.76
Used offers from £ 45.83
Also find Softcover
-
Formal Methods for Software Engineering : Languages, Methods, Application Domains
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 38.33
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 38.33
Used offers from £ 41.88
Also find Hardcover
-
Condition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
More buying choices from other sellers on AbeBooks
New offers from £ 54.13
Used offers from £ 38.62
Also find Softcover First Edition
-
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 39.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 39.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 41.18
Convert currencyFree shipping from Italy to United KingdomQuantity: 5 available
Add to basketCondition: new.
More buying choices from other sellers on AbeBooks
New offers from £ 41.18
Used offers from £ 52.54
Also find Softcover First Edition
-
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, ... Papers (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 40.42
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 40.42
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. . (Lecture Notes in Computer Science, 6991)
Seller: Hard To Find Editions, Bristol, AVON, United Kingdom
Seller rating 5 out of 5 stars
First Edition
Soft cover. Condition: Very Good. 1st Edition. This book has been read, but is in a clean and very good condition. All pages are intact with no highlighting or writing contained within. The spine remains undamaged with tight binding. Fast dispatch within and from the UK. 100% money back guarantee.
More buying choices from other sellers on AbeBooks
New offers from £ 57.13
Used offers from £ 43.36
Also find Softcover First Edition
-
Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 43.54
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Condition: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
More buying choices from other sellers on AbeBooks
New offers from £ 82.59
Used offers from £ 43.79
Also find Softcover
-
Condition: New. pp. 191.
More buying choices from other sellers on AbeBooks
New offers from £ 45.13
Used offers from £ 71
Also find Softcover
-
Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013. Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 44.13
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5â"9, 2019, . (Lecture Notes in Computer Science, 11852)
Published by Springer (edition 1st ed. 2019), 2019
ISBN 10: 3030324087 ISBN 13: 9783030324087
Language: English
£ 41.46
Convert currency£ 4.41 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Good. 1st ed. 2019. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience.
More buying choices from other sellers on AbeBooks
New offers from £ 50.54
Used offers from £ 45.87
Also find Softcover
-
Condition: NEW.
More buying choices from other sellers on AbeBooks
New offers from £ 44.86
Used offers from £ 56.88
Also find Softcover First Edition
