-
126. Formal Methods Teaching
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031713781
Paperback, New
Irving, TX, USA
$55.50
-
127. Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science)
Seller Description: Good. Very Clean Copy-Over 500, 000 Internet Orders Filled. See More Details
2024, Springer
ISBN-13: 9783031737503
paperback, Good
Simi Valley, CA, USA
$55.73
-
128. Integrated Formal Methods
eBook See More Details
2024, Springer Nature
eBook ISBN: 9783031765537
Edition: 2025 edition
Format: EPUB eBook
Digital download
$56.00
-
129. Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco De Nicola
eBook See More Details
2024, Springer Nature
eBook ISBN: 9783031737084
Edition: 2025 edition
Format: EPUB eBook
Digital download
$58.50
-
130. Leveraging Applications of Formal Methods, Verific
Seller Description: Brand New. New. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031753862
Paperback, New
New Delhi, DELHI, INDIA
$59.61
-
131. Real Time and Such
eBook See More Details
2024, Springer Nature
eBook ISBN: 9783031737503
Edition: 2025 edition
Format: EPUB eBook
Digital download
$59.99
-
132. Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career
by Graf, Susanne (Editor), and Pettersson, Paul (Editor), and Steffen, Bernhard (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XII, 165 p. 50 illus., 36 illus. in color. 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 ... See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031737503
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$60.73
-
133. Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career
by Graf, Susanne (Editor), and Pettersson, Paul (Editor), and Steffen, Bernhard (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XII, 165 p. 50 illus., 36 illus. in color. Intended for professional and scholarly audience. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031737503
Paperback, New
NV, USA
$65.35
-
134. Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
by Marmsoler, Diego (Editor), and Sun, Meng (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVII, 147 p. 71 illus., 41 illus. in color. Intended for professional and scholarly audience. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031712609
Paperback, New
NV, USA
$65.35
-
135. Formal Aspects of Component Software
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031712609
Paperback, New
Irving, TX, USA
$68.09
-
136. Real Time and Such
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031737503
Paperback, New
Irving, TX, USA
$68.09
-
137. Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career
by Graf, Susanne (Editor), and Pettersson, Paul (Editor), and Steffen, Bernhard (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XII, 165 p. 50 illus., 36 illus. in color. 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 ... See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031737503
Paperback, New
Columbia, MD, USA
$68.51
-
138. Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career
by Graf, Susanne (Editor), and Pettersson, Paul (Editor), and Steffen, Bernhard (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XII, 165 p. 50 illus., 36 illus. in color. 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 ... See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031737503
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$71.23
-
139. Leveraging Applications of Formal Methods, Verific
Seller Description: Brand New. New. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031737084
Paperback, New
New Delhi, DELHI, INDIA
$71.91
-
140. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
eBook See More Details
2024, Springer Nature
eBook ISBN: 9783031753862
Edition: 2024 edition
Format: EPUB eBook
Digital download
$74.99
-
141. Leveraging Applications of Formal Methods, Verific
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031753862
Paperback, New
Irving, TX, USA
$76.24
-
142. Formal Methods Teaching: 6th Formal Methods Teaching Workshop, Fmtea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science, 14939)
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
2024, Springer
ISBN-13: 9783031713781
paperback, Good
Santa Clarita, CA, USA
$77.44
-
143. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
by Margaria, Tiziana (Editor), and Steffen, Bernhard (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XII, 330 p. 69 illus., 38 illus. in color. Intended for professional and scholarly audience. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031753862
Paperback, New
NV, USA
$79.44
|
