-
401. Formal Verification of Object-Oriented Software
by Bernhard Beckert; Ferruccio Damiani; Dilian Gurov
eBook See More Details
2012, Springer Nature
eBook ISBN: 9783642317613
Edition: 1st edition
Format: PDF eBook
Digital download
$15.00
-
402. Object-Oriented Metamethods
by B. Henderson-Sellers; A. Bulthuis
eBook See More Details
2012, Springer Nature
eBook ISBN: 9781461272632
Format: PDF eBook
Digital download
$16.50
-
403. Java Software Solutions: Foundations of Program Design (7th Edition)
by Lewis, J And Loftus, W
Seller Description: This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. Clean from markings. 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, 1250grams, ISBN: 9780132149181. See More Details
2012, Addison-Wesley
ISBN-13: 9780132149181
Paperback, Good
Lincoln, UNITED KINGDOM
$21.13
-
404. Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
by Beckert, Bernhard (Editor), and Damiani, Ferruccio (Editor), and Gurov, Dilian (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white. Lecture Notes in Computer Science ; Programming and Software Engineering . X, 251 p. 34 illus. Intended for professional and scholarly audience. See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642317613
Paperback, New
NV, USA
$55.96
-
405. Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
by Beckert, Bernhard (Editor), and Damiani, Ferruccio (Editor), and Gurov, Dilian (Editor)
Seller Description: New. Contains: Illustrations, black & white. Lecture Notes in Computer Science ; . X, 251 p. 34 illus. Intended for professional and scholarly audience. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy ... See More Details
2012, Springer-Verlag Berlin and Heidelberg GmbH & Co. K
ISBN-13: 9783642317613
Paperback, New
Columbia, MD, USA
$59.77
-
406. Java: Software Solutions Foundations of Program Design
by Lewis, John
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2012, Pearson
ISBN-13: 9780273751472
paperback, Good
Santa Clarita, CA, USA
$60.31
-
407. Object-Oriented Metamethods
by Henderson-Sellers, B, and Bulthuis, A
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 158 p. See More Details
2012, Springer
ISBN-13: 9781461272632
Trade paperback, New
NV, USA
$60.65
-
408. Tabular Application Development for Information Sy
Seller Description: New, Satisfaction guaranteed! ! See More Details
2012, Springer
ISBN-13: 9781461265238
Paperback, New
Irving, TX, USA
$64.39
-
409. Inheritance Relationships for Disciplined Software
Seller Description: New, Satisfaction guaranteed! ! See More Details
2012, Springer
ISBN-13: 9781447110927
Paperback, New
Irving, TX, USA
$64.39
