-
26. Descriptional Complexity of Formal Systems
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783031970993
Format: EPUB eBook
Digital download
$69.50
-
27. Integrated Formal Methods
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783032107930
Format: EPUB eBook
Digital download
$74.99
-
28. Integrated Formal Methods
Seller Description: New, Satisfaction guaranteed! ! See More Details
2025, Springer Nature Switzerland AG
ISBN-13: 9783032107930
Paperback, New
Irving, TX, USA
$76.24
-
29. Nasa Formal Methods
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783031937057
Format: EPUB eBook
Digital download
$79.50
-
30. Software Engineering and Formal Methods
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783032104434
Format: EPUB eBook
Digital download
$79.99
-
31. Software Engineering and Formal Methods
Seller Description: New, Satisfaction guaranteed! ! See More Details
2025, Springer Nature Switzerland AG
ISBN-13: 9783032104434
Paperback, New
Irving, TX, USA
$82.16
-
32. Formal Methods for Multi-Agent Feedback Control Systems (Cyber Physical Systems Series)
by Lindemann, Lars, Dimarogonas, Dimos V.
Seller Description: Very good. Cover and edges may have some wear. Very Clean Copy-Over 500, 000 Internet Orders Filled. See More Details
2025, The MIT Press
ISBN-13: 9780262049719
paperback, Very Good
Simi Valley, CA, USA
$82.88
-
33. Modeling Complex Processes Through Nature-Analogous Methods
Seller Description: New, Satisfaction guaranteed! ! See More Details
2025, Springer Fachmedien Wiesbaden
ISBN-13: 9783658465094
Paperback, New
Irving, TX, USA
$82.91
-
34. Rebeca for Actor Analysis in Action
Seller Description: New, Satisfaction guaranteed! ! See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031851339
Paperback, New
Irving, TX, USA
$82.91
-
35. Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings
by Bianculli, Domenico (Editor), and Gómez-Martínez, Elena (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVIII, 280 p. 56 illus., 33 illus. in color. Intended for college/higher education audience. See More Details
2025, Springer Nature Switzerland AG
ISBN-13: 9783032104434
Paperback, New
NV, USA
$84.14
-
36. Modeling Complex Processes Through Nature-Analogous Methods
by Christina Klüver; Jürgen Klüver; Jörn Schmidt
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783658465094
Edition: 2025 edition
Format: EPUB eBook
Digital download
$84.99
-
37. Rebeca for Actor Analysis in Action
eBook See More Details
2025, Springer Nature
eBook ISBN: 9783031851339
Format: EPUB eBook
Digital download
$84.99
-
38. Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
by Lee, Edward A. (Editor), and Mousavi, Mohammad Reza (Editor), and Talcott, Carolyn (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 442 p. 151 illus., 83 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
2025, Springer International Publishing AG
ISBN-13: 9783031851339
Paperback, Fine/Like New
Columbia, MD, USA
$88.00
-
39. Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
by Lee, Edward A. (Editor), and Mousavi, Mohammad Reza (Editor), and Talcott, Carolyn (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 442 p. 151 illus., 83 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
2025, Springer International Publishing AG
ISBN-13: 9783031851339
Paperback, New
Columbia, MD, USA
$88.22
-
40. Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
by Lee, Edward A. (Editor), and Mousavi, Mohammad Reza (Editor), and Talcott, Carolyn (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 442 p. 151 illus., 83 illus. in color. Intended for professional and scholarly audience. See More Details
2025, Springer International Publishing AG
ISBN-13: 9783031851339
Paperback, New
NV, USA
$88.84
-
41. Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
by Lee, Edward A. (Editor), and Mousavi, Mohammad Reza (Editor), and Talcott, Carolyn (Editor)
Seller Description: Fine. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . X, 442 p. 151 illus., 83 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
2025, Springer International Publishing AG
ISBN-13: 9783031851339
Paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$89.45
-
42. Formal Methods for Multi-Agent Feedback Control Systems
by Lindemann, Lars, and Dimarogonas, Dimos V
Seller Description: Fine. Trade paperback (US). Glued binding. 312 p. Cyber Physical Systems. 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
2025, MIT Press
ISBN-13: 9780262049719
Trade paperback, Fine/Like New
Castle Donington, DERBYSHIRE, UNITED KINGDOM
$90.33
|
