-
151. 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: Fine. 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. 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: 9783031753862
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$82.26
-
152. 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. 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. 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: 9783031753862
Paperback, New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$83.09
-
153. Integrated Formal Methods
eBook See More Details
2024, Springer Nature
eBook ISBN: 9783031765537
Edition: 2025 edition
Format: EPUB eBook
Digital download
$84.00
-
154. 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: Fine. 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. 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: 9783031753862
Paperback, Fine/Like New
Columbia, MD, USA
$85.99
-
155. 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. 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. 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: 9783031753862
Paperback, New
Columbia, MD, USA
$86.24
-
156. Leveraging Applications of Formal Methods, Verific
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031737084
Paperback, New
Irving, TX, USA
$86.61
-
157. 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
$89.99
-
158. Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 9? 10, 2024, Proceedings (Lecture Notes in Computer Science, 15189)
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: 9783031712609
paperback, Good
Santa Clarita, CA, USA
$91.86
-
159. Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career (Lecture Notes in Computer Science)
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: 9783031737503
paperback, Good
Santa Clarita, CA, USA
$93.99
-
160. Integrated Formal Methods
Seller Description: Brand New. New. See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031765537
Paperback, New
New Delhi, DELHI, INDIA
$114.57
-
161. Integrated Formal Methods
Seller Description: New, Satisfaction guaranteed! ! See More Details
2024, Springer International Publishing AG
ISBN-13: 9783031765537
Paperback, New
Irving, TX, USA
$131.06
-
162. Leveraging Applications of Formal Methods, Verification and Validation. Reocas Colloquium in Honor of Rocco De Nicola (Lecture Notes in Computer Science)
Seller Description: New. See More Details
2024, Springer
ISBN-13: 9783031737084
paperback, New
Miramar, FL, USA
$174.99
-
163. Formal Ontology in Information Systems
eBook See More Details
2024, SAGE Publications, Ltd. (UK)
eBook ISBN: 9781643684680
Edition: 1st edition
Format: PDF eBook
Digital download
$243.00
-
164. Formal Modeling and Analysis of Timed Systems
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031426254
Format: EPUB eBook
Digital download
$18.00
-
165. Descriptional Complexity of Formal Systems
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031343254
Format: EPUB eBook
Digital download
$19.50
-
166. Fundamentals of Software Engineering
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031424403
Format: EPUB eBook
Digital download
$19.50
-
167. Software Engineering and Formal Methods
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031471148
Format: EPUB eBook
Digital download
$21.00
|
