Or split into 4x interest-free payments of 25% on orders over R50
Learn more
Imprint | Springer London |
Country of origin | United Kingdom |
Series | Texts in Computer Science |
Release date | October 2010 |
Availability | Expected to ship within 12 - 17 working days |
First published | 2009 |
Authors | Krzysztof R. Apt, Frank S De Boer, Ernst-Rudiger Olderog |
Foreword by | Amir Pnueli |
Dimensions | 235 x 155 x 32mm (L x W x T) |
Format | Hardcover |
Pages | 502 |
Edition | 3rd ed. 2009, Corr. 3rd printing 2010 |
ISBN-13 | 978-1-84882-744-8 |
Barcode | 9781848827448 |
Categories | |
LSN | 1-84882-744-X |