-
226. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXXI, 488 p. 160 illus., 121 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
Uxbridge, MIDDLESEX, UNITED KINGDOM
$53.14
-
227. Software Engineering and Formal Methods: 21st International Conference, Sefm 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings: 14323 (Lecture Notes in Computer Science, 14323)
Seller Description: Good. See More Details
2023, Springer
ISBN-13: 9783031471148
paperback, Good
Nottingham, Linby, , UNITED KINGDOM
$55.00
-
228. Computer Performance Engineering and Stochastic Modelling
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031431845
Format: EPUB eBook
Digital download
$55.25
-
229. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XXXI, 488 p. 160 illus., 121 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
NV, USA
$55.96
-
230. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVI, 460 p. 388 illus., 76 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377020
Paperback, New
NV, USA
$55.96
-
231. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
by Enea, Constantin (Editor), and Lal, Akash (Editor)
Seller Description: New. Print on demand Contains: Illustrations, black & white, Illustrations, color. Lecture Notes in Computer Science . XVII, 502 p. 140 illus., 88 illus. in color. Intended for professional and scholarly audience. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377082
Paperback, New
NV, USA
$55.96
-
232. Formal Methods: Foundations and Applications: 26th Brazilian Symposium, Sbmf 2023, Manaus, Brazil, December 4-8, 2023, Proceedings (Lecture Notes in Computer Science)
Seller Description: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used-Acceptable 2023. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031493416
Paperback, Fair
new york, NY, USA
$55.96
-
233. Computer Performance Engineering
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031250484
Paperback, New
New Delhi, DELHI, INDIA
$56.22
-
234. Computer Aided Verification
Seller Description: New, Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377020
Paperback, New
Irving, TX, USA
$56.36
-
235. Computer Aided Verification
Seller Description: New, Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377082
Paperback, New
Irving, TX, USA
$56.36
-
236. Computer Aided Verification
Seller Description: New, Satisfaction guaranteed! ! See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031377051
Paperback, New
Irving, TX, USA
$56.36
-
237. Formal Concept Analysis: 17th International Conference, Icfca 2023, Kassel, Germany, July 17-21, 2023, Proceedings
Seller Description: Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less. See More Details
2023, Springer
ISBN-13: 9783031359484
Softcover, Very Good
Austell, GA, USA
$56.47
-
238. Software Engineering and Formal Methods
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031471148
Paperback, New
New Delhi, DELHI, INDIA
$58.70
-
239. Nasa Formal Methods
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031331695
Format: EPUB eBook
Digital download
$59.40
-
240. Formal Methods
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031274800
Format: EPUB eBook
Digital download
$59.40
-
241. Integrated Formal Methods
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031477041
Edition: 2024 edition
Format: EPUB eBook
Digital download
$59.50
-
242. Formal Techniques for Distributed Objects, Compone
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031353543
Paperback, New
New Delhi, DELHI, INDIA
$59.85
-
243. Formal Modeling and Analysis of Timed Systems
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031426254
Format: EPUB eBook
Digital download
$59.99
-
244. Formal Methods: Foundations and Applications
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031493416
Format: EPUB eBook
Digital download
$59.99
-
245. Theories of Programming and Formal Methods
Seller Description: Brand New. New. See More Details
2023, Springer International Publishing AG
ISBN-13: 9783031404351
Paperback, New
New Delhi, DELHI, INDIA
$63.56
-
246. Descriptional Complexity of Formal Systems
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031343254
Format: EPUB eBook
Digital download
$64.99
-
247. Fundamentals of Software Engineering
eBook See More Details
2023, Springer Nature
eBook ISBN: 9783031424403
Format: EPUB eBook
Digital download
$64.99
|
