The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I
Author:   Ana Cavalcanti ,  James Baxter
Publisher:   Springer International Publishing AG
Edition:   2024 ed.
Volume:   14780
ISBN:  

9783031666759


Pages:   316
Publication Date:   13 August 2024
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $155.22 Quantity:  
Add to Cart

Share |

The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I


Add your own review!

Overview

Full Product Details

Author:   Ana Cavalcanti ,  James Baxter
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   2024 ed.
Volume:   14780
ISBN:  

9783031666759


ISBN 10:   3031666755
Pages:   316
Publication Date:   13 August 2024
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

""This is his first ever Festschrift collection of papers, hence the double volume, with contributions by 90 scientists spread across 20 countries in 30 papers. ... The academic papers are preceded by several shorter and more personal testimonials. All the contributions provide evidence of Cliff Jones’s wide influence on computer science, especially its more formal aspects. ... the two volumes provide a wonderful additional resource for formal method researchers."" (Jonathan P. Bowen, Facs Facts - The Newsletter of the Formal Aspects of Computing Science Specialist Group, Issue 1, January-February, 2025) 


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now