Order Total (1 Item Items):
Shipping Destination:
Formal Methods Software Systems (173 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (173)
- 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
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (59)
- Not Print on Demand (156)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
£ 5.28
Convert currency£ 12.94 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Fine. Mint condition.
More buying choices from other sellers on AbeBooks
New offers from £ 42.83
Used offers from £ 18.22
Also find Softcover
-
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Published by Springer Berlin Heidelberg, 2005
ISBN 10: 3540249362 ISBN 13: 9783540249368
Language: English
£ 17.12
Convert currency£ 7.48 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 448 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 24.60
Also find Softcover
-
![Seller image for Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965]. for sale by Antiquariat Thomas Haker GmbH & Co. KG](https://pictures.abebooks.com/inventory/md/md31150894998.jpg)
Formal Methods for Hardware Verification. 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006. [Notes in Computer Science, Vol. 3965].
Published by Berlin / Heidelberg, Springer, 2010
Language: English
Seller: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Association Member: GIAQ
Seller rating 5 out of 5 stars
£ 12.98
Convert currency£ 6.72 shipping from Germany to United KingdomQuantity: 1 available
Add to basketSoftcover/Paperback. Condition: Sehr gut. 256 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 320.
-
Formal Methods for Computational Systems Biology : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
Published by Springer Berlin Heidelberg, 2008
ISBN 10: 3540688927 ISBN 13: 9783540688921
Language: English
£ 28.92
Convert currency£ 7.48 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 540 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 36.40
Also find Softcover
-
Formal Methods for Web Services : 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Published by Springer-Verlag GmbH, 2009
ISBN 10: 364201917X ISBN 13: 9783642019173
Language: English
£ 31.45
Convert currency£ 7.48 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchkante leicht angestossen | Seiten: 339 | Sprache: Englisch | Produktart: Sonstiges.
More buying choices from other sellers on AbeBooks
New offers from £ 43.82
Used offers from £ 38.93
Also find Softcover
-
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
Published by Springer International Publishing, 2016
ISBN 10: 3319340956 ISBN 13: 9783319340951
Language: English
£ 34.44
Convert currency£ 7.48 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: Buchschnitt verkürzt. | Seiten: 272 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 41.92
Also find Softcover
-
PF. Condition: New.
-
Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
Published by Springer-Verlag GmbH, 2011
ISBN 10: 3642214541 ISBN 13: 9783642214547
Language: English
£ 37.67
Convert currency£ 7.48 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 | Seiten: 527 | Sprache: Englisch | Produktart: Bücher.
More buying choices from other sellers on AbeBooks
New offers from £ 63.19
Used offers from £ 45.15
Also find Softcover
-
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 44.94
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 44.94
Used offers from £ 91.99
Also find Softcover
-
Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2015
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 45.61
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 45.61
Used offers from £ 107.99
Also find Softcover
-
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
£ 45.62
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
£ 45.62
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
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 47.57
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 47.57
Used offers from £ 90.99
Also find Softcover
-
PF. Condition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 48.60
Used offers from £ 66.31
Also find Softcover
-
Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.72
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.72
Used offers from £ 96.99
Also find Softcover
-
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, Sfm 2003
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 50.81
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New.
More buying choices from other sellers on AbeBooks
New offers from £ 50.81
Used offers from £ 96.99
Also find Softcover
-
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Lecture Notes in Computer Science, 3965)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
More buying choices from other sellers on AbeBooks
New offers from £ 50.82
Used offers from £ 79
Also find Softcover
-
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
PF. Condition: New.
-
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Published by Springer-Verlag GmbH, 2010
ISBN 10: 364213677X ISBN 13: 9783642136771
Language: English
£ 49.67
Convert currency£ 7.48 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchecken und -kanten leicht angestoßen, Cover leicht zerkratzt | Seiten: 167 | Sprache: Englisch | Produktart: Sonstiges.
More buying choices from other sellers on AbeBooks
New offers from £ 71.63
Used offers from £ 57.15
Also find Softcover
-
Formal Methods for Model-Driven Engineering : 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 364230981X ISBN 13: 9783642309816
Language: English
£ 46.30
Convert currency£ 11.76 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages; model transformations, functional and performance modeling and analysis; and model evolution management.
-
£ 5.49
Convert currency£ 55.44 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
£ 10.77
Convert currency£ 55.44 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Brand New. 2012 edition. 237 pages. 9.20x6.10x0.70 inches. In Stock.
