Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Programming and Software Engineering)

3,958.65

Category:

Description

Price: [price_with_discount]
(as of His academic awards include the 2020 SIGSOFT Impact Paper Award, the RV 2018 Test of Time award, and the ASE 2014 and ASE 2016 Most Influential Paper awards.

Publisher ‏ : ‎ Springer Nature Switzerland AG; 1st ed. 2021 edition (28 September 2021)
Language ‏ : ‎ English
Paperback ‏ : ‎ 193 pages
ISBN-10 ‏ : ‎ 3030873471
ISBN-13 ‏ : ‎ 978-3030873479
Item Weight ‏ : ‎ 300 g
Dimensions ‏ : ‎ 15.49 x 1.19 x 23.5 cm
Country of Origin ‏ : ‎ India
, [ad_2] , , , Details)


[ad_1]

Reviews

There are no reviews yet.

Be the first to review “Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday: 13065 (Programming and Software Engineering)”

Your email address will not be published. Required fields are marked *

Compare listings

Compare