Editore: Springer, 2006
ISBN 10: 3540336893 ISBN 13: 9783540336891
Da: Anybook.com, Lincoln, Regno Unito
Condizione: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,400grams, ISBN:9783540336891.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 51,19
Usato - A partire da EUR 41,55
Scopri anche Brossura
Editore: Springer, 2008
ISBN 10: 3540242872 ISBN 13: 9783540242871
Da: Ammareal, Morangis, Francia
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 51,26
Usato - A partire da EUR 44,96
Scopri anche Brossura
Editore: IPA, 2001
Da: Flamingo Books, Menifee, CA, U.S.A.
Paperback. Condizione: Very Good. 2001 first edition, IPA (Nijmegen, Netherlands), 6 5/8 x 9 1/2 inches tall trade paperback, 239 pp. Slight staining, rubbing and edgewear to covers. Slight yellow staining to fore page edges, and a small amount to half title page and copyright page (facing the title page). Otherwise, apart from a couple of pages with very slight marginal soiling, a very good copy - clean, bright and unmarked - of this scarce text. ~OOO~ [2.0P] Contents: Introduction; A Semantics for Java; Interactive Theorem Provers: PVS and Isabelle; The LOOP Tool; A Hoare Logic for Java; Class Specification and the Java Modeling Language (JML); Two Case Studies: Verifications of Java Library Classes; Concluding Remarks; Subject Index; Java Semantics Index; Definition and Symbol Index; Appendix - Hoare Logic Rules; Samenvatting; Curriculum Vitae.
Editore: Cinospaans, 2018
ISBN 10: 9082825511 ISBN 13: 9789082825510
Da: Buchpark, Trebbin, Germania
Condizione: Hervorragend. Huisman, Kaulane; Lambermont, Marieke (illustratore). Zustand: Hervorragend | Seiten: 78 | Sprache: Englisch | Produktart: Bücher.
Editore: Saint Philip Street Press, 2020
ISBN 10: 1013271211 ISBN 13: 9781013271212
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Editore: Saint Philip Street Press, 2020
ISBN 10: 1013271203 ISBN 13: 9781013271205
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Editore: Springer, 2017
ISBN 10: 3662544938 ISBN 13: 9783662544938
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 51,84
Usato - A partire da EUR 68,35
Scopri anche Brossura
Editore: Springer International Publishing AG, 2023
ISBN 10: 3031301668 ISBN 13: 9783031301667
Da: TextbookRush, Grandview Heights, OH, U.S.A.
Condizione: Brand New. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy.
Editore: Springer, 2022
ISBN 10: 3031150074 ISBN 13: 9783031150074
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.8.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 72,55
Usato - A partire da EUR 61,66
Scopri anche Brossura
Editore: Boom criminologie, 2021
ISBN 10: 9462362521 ISBN 13: 9789462362529
Da: Buchpark, Trebbin, Germania
Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 56 | Sprache: Niederländisch | Produktart: Bücher.
Editore: Springer, 2019
ISBN 10: 3030175014 ISBN 13: 9783030175016
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,54
Usato - A partire da EUR 66,96
Scopri anche Brossura
Editore: Springer, 2018
ISBN 10: 3319899597 ISBN 13: 9783319899596
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 56,13
Usato - A partire da EUR 67,52
Scopri anche Brossura
Editore: Springer, 2018
ISBN 10: 3319899627 ISBN 13: 9783319899626
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 63,67
Usato - A partire da EUR 68,31
Scopri anche Brossura
Editore: Springer, 2023
ISBN 10: 3031301684 ISBN 13: 9783031301681
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In.
Editore: Springer, 2023
ISBN 10: 3031353560 ISBN 13: 9783031353567
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In.
Editore: Springer, 2023
ISBN 10: 3031353544 ISBN 13: 9783031353543
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 72,54
Usato - A partire da EUR 80,36
Scopri anche Brossura
Editore: Springer, 2016
ISBN 10: 3319336924 ISBN 13: 9783319336923
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 82,58
Usato - A partire da EUR 216,51
Scopri anche Brossura
Editore: Springer Verlag Gmbh, 2024
ISBN 10: 3031301692 ISBN 13: 9783031301698
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.
Editore: Springer, 2021
ISBN 10: 3030908690 ISBN 13: 9783030908690
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 121,38
Usato - A partire da EUR 146,87
Scopri anche Brossura
Editore: Springer Nature Switzerland, 2024
ISBN 10: 3031720431 ISBN 13: 9783031720437
Da: AHA-BUCH GmbH, Einbeck, Germania
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 18th International Conference on Tests and Proofs, TAP 2024. TAP 2024 took place in Milan, Italy, on September 9 and 10, 2024 as part of the Formal Methods symposium (FM 2024), which included four more co-located conferences besides TAP: FMICS (Formal Methods in Industrial Critical Systems), LOPSTR (In ternational Symposium on Logic-based Program Synthesis and Transformation), PPDP (International Symposium on Principles and Practice of Declarative Pro gramming), and FACS (International Conference on Formal Aspects of Compo nent Software.The 7 full papers together with 1 short paper included in this volume were carefully reviewed and selected from 14 submissions.TAP's scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research.