Gesamtpreis (1 Artikel Artikel):
Versandziel:
software engineering formal methods (216 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (216)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (105)
Sprache (1)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Anbieter: WorldofBooks, Goring-By-Sea, WS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 1,42
EUR 6,42 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
-
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Sprache: Englisch
Verlag: Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574 ISBN 13: 9780201627572
Anbieter: Better World Books: West, Reno, NV, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Sprache: Englisch
Verlag: Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574 ISBN 13: 9780201627572
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Software Development with Z : A Practical Approach to Formal Methods in Software Engineering
Sprache: Englisch
Verlag: Addison-Wesley Longman, Incorporated, 1992
ISBN 10: 0201627574 ISBN 13: 9780201627572
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 5,37
EUR 5,73 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 3 verfügbar
In den WarenkorbZustand: 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.
-
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering (International Computer Science Series)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 1,18
EUR 12,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, 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.
-
Practical Formal Methods with Vdm (McGraw Hill International Series in Software Engineering)
Sprache: Englisch
Verlag: McGraw-Hill Publishing Co., 1814
ISBN 10: 0077072146 ISBN 13: 9780077072148
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 15,21
EUR 10,03 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Formal methods and software development: Proceedings of TAPSOFT 1985 - Berlin / Volume 2: Colloquium on Software Engineering (CSE). Lecture notes in computer science ; Volume 186
Sprache: Englisch
Verlag: Berlin ; Heidelberg ; New York ; Tokyo : Springer, 1985
ISBN 10: 3540151990 ISBN 13: 9783540151999
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: 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.
-
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)
Sprache: Englisch
Verlag: Springer (edition 1st ed. 2019), 2019
ISBN 10: 3030324087 ISBN 13: 9783030324087
Paperback. Zustand: 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.
-
Formal Methods And Software Engineering: 10Th International Conference On Formal Engineering Methods Icfem 2008
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Practical Formal Methods in Software Engineering
Sprache: Englisch
Verlag: Cambridge University Press, 2019
ISBN 10: 1108818641 ISBN 13: 9781108818643
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Very Good.
-
Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development; Software Engineering Notes Vol. 15 No. 4;
Sprache: Englisch
Erscheinungsdatum: 1990
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover-Grossformat; Zustand: 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 and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November . (Lecture Notes in Computer Science, 14308)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 43,74
EUR 7,95 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, . (Lecture Notes in Computer Science, 10729)
Anbieter: WeBuyBooks, Rossendale, LANCS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 46,02
EUR 9,75 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 50,09
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Nature Switzerland AG, 2023
ISBN 10: 3030388026 ISBN 13: 9783030388027
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
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)
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 47,79
EUR 12,20 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: 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.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSSprache: Englisch
Verlag: Springer Nature Switzerland AG, 2023
ISBN 10: 3030388026 ISBN 13: 9783030388027
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 52,74
EUR 6,73 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Formal Methods and Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 55,21
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 412 Illus.
-
Formal Methods in Databases and Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 56,43
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 191.
-
Formal Methods and Software Engineering (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new.
-
Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2023 and Opencert 2023, Eindhoven, the Netherlands, November 610, 2023, Revised Selected Papers
Sprache: Englisch
Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 303166020X ISBN 13: 9783031660207
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,66
EUR 11,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 177 pages. 9.25x6.10x9.21 inches. In Stock.
-
Fm 2006: Formal Methods: 14th International Symposium On Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (lecture Notes In Computer Science / Programming And Software Engineering)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Formal Methods for Software Engineering
Buch 45 von 45: Texts in Theoretical Computer Science. An EATCSAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 69,03
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. xxviii + 524.
-
Programming Approach to Formal Methods (McGraw-Hill International Series in Software Engineering)
Sprache: Englisch
Verlag: McGraw-Hill Publishing Co., 1994
ISBN 10: 007707968X ISBN 13: 9780077079680
Anbieter: AwesomeBooks, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 70,89
EUR 5,72 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Programming Approach to Formal Methods (McGraw-Hill International Series in Software Engineering) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
-
Formal Methods and Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 71,32
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 400 Illus.
-
Programming Approach to Formal Methods (McGraw-Hill International Series in Software Engineering)
Sprache: Englisch
Verlag: McGraw-Hill Publishing Co. 01/05/1994, 1994
ISBN 10: 007707968X ISBN 13: 9780077079680
Anbieter: Bahamut Media, Reading, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 70,89
EUR 8,00 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee.
-
Formal Methods and Software Engineering
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 72,15
EUR 7,45 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 516 Illus.
-
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)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 68,42
EUR 11,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 188 pages. 9.25x6.10x0.44 inches. In Stock.
-
Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 69,13
EUR 11,47 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2012 edition. 237 pages. 9.20x6.10x0.70 inches. In Stock.
