Delivery included to the United States

Specification and Transformation of Programs

Specification and Transformation of Programs A Formal Approach to Software Development - Springer Texts in Electrical Engineering

Softcover reprint of the original 1st Edition 1990

Paperback (05 Jul 1990)

  • $62.93
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Book information

ISBN: 9783540525899
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: Softcover reprint of the original 1st Edition 1990
Language: English
Number of pages: 493
Weight: 1570g
Height: 242mm
Width: 170mm
Spine width: 26mm