Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday 2016 Edition Contributor(s): Ábrahám, Erika (Editor), Bonsangue, Marcello (Editor), Johnsen, Einar Broch (Editor) |
|
ISBN: 3319307339 ISBN-13: 9783319307336 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: March 2016 |
Additional Information |
BISAC Categories: - Computers | Programming - Algorithms - Computers | Software Development & Engineering - General - Computers | Programming Languages - General |
Dewey: 005.1 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.89" H x 6.14" W x 9.21" (1.35 lbs) 427 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. |