Delivery included to the United States

Formal Methods in Outer Space Programming and Software Engineering

Formal Methods in Outer Space Programming and Software Engineering Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday - Lecture Notes in Computer Science

1st Edition 2021

Paperback (28 Sep 2021)

Save $9.84

  • RRP $69.38
  • $59.54
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Book information

ISBN: 9783030873479
Publisher: Springer International Publishing
Imprint: Springer
Pub date:
Edition: 1st Edition 2021
Language: English
Number of pages: 193
Weight: 299g
Height: 235mm
Width: 155mm
Spine width: 11mm