-
101. Communication Protocol Specification and Verification
by Lai, Richard, and Jirachiefpattana, Ajin
Seller Description: New. Sewn binding. Cloth over boards. 304 p. Contains: Unspecified. The Springer International Engineering and Computer Science, 464. 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 customers. See More Details
1998, Springer
ISBN-13: 9780792382843
Hardcover, New
Columbia, MD, USA
$222.20
-
102. Communication Protocol Specification and Verification
by Lai, Richard, and Jirachiefpattana, Ajin
Seller Description: New. Sewn binding. Cloth over boards. 304 p. Contains: Unspecified. The Springer International Engineering and Computer Science, 464. See More Details
1998, Springer
ISBN-13: 9780792382843
Hardcover, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$273.86
-
103. Modular Compiler Verification: a Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science)
by M&Radic; şLler-Olm, Markus
Seller Description: Fair. Size: 6x0x9; Ex-Library paperback with all the usual markings, possible attachments, and library wear. Stain to bottom edge of the volume. See More Details
1997, Springer
ISBN-13: 9783540634065
Paperback, Fair
Spring Branch, TX, USA
$10.70
-
104. Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
by Müller-Olm, Markus
Seller Description: New. Print on demand Trade paperback (US). Glued binding. 260 p. Lecture Notes in Computer Science, 1283. See More Details
1997, Springer
ISBN-13: 9783540634065
Trade paperback, New
NV, USA
$51.65
-
105. Modular Compiler Verification
Seller Description: New, Satisfaction guaranteed! ! See More Details
1997, Springer
ISBN-13: 9783540634065
Paperback, New
Irving, TX, USA
$63.01
-
106. Modular Compiler Verification: a Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
by Müller-Olm, Markus
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1997, Springer
ISBN-13: 9783540634065
paperback, Good
Santa Clarita, CA, USA
$86.99
-
107. Verifiable Programming (Prentice-Hall International Series in Computer Science)
by Dahl, Ole-Johan
Seller Description: New. See More Details
1992, Prentice Hall
ISBN-13: 9780139510625
paperback, New
Miramar, FL, USA
$96.51
-
108. Program Verification Using Ada (Cambridge Computer Science Texts, Series Number 13)
by McGettrick
Seller Description: Fair. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. See More Details
1982, Cambridge University Press
ISBN-13: 9780521285315
Softcover, Fair
Halethorpe, MD, USA
$26.06
-
109. Compiler Specification and Verification (Lecture Notes in Computer Science)
by Polak, W.
Seller Description: Very Good. Size: 6x0x9; See More Details
1981, Springer
ISBN-13: 9783540108863
Paperback, Very Good
Spring Branch, TX, USA
$32.13
-
110. Compiler Specification and Verification
by Polak, W
Seller Description: New. Trade paperback (US). Glued binding. 272 p. Lecture Notes in Computer Science, 124. See More Details
1981, Springer
ISBN-13: 9783540108863
Trade paperback, New
NV, USA
$37.56
-
111. Compiler Specification and Verification
Seller Description: New, Satisfaction guaranteed! ! See More Details
1981, Springer
ISBN-13: 9783540108863
Paperback, New
Irving, TX, USA
$43.00
