Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada The Practice of Formal Methods(Springer Verlag Gmbh)
Type
Physical Book
Publisher
Author
Language
English
Pages
316
Format
Paperback
ISBN13
9783031666759

The Practice of Formal Methods(Springer Verlag Gmbh)

Cavalcanti Ana,Baxter James (Author) · Springer Verlag Gmbh · Paperback

The Practice of Formal Methods(Springer Verlag Gmbh) - Cavalcanti Ana,Baxter James

Cheaper New Book Imported to South Africa
Delivery: 05 Oct - 16 Oct Shipping: 17 to 21 business days.
R 1,258
Faster New Book Imported to South Africa
Delivery: 30 Sep - 08 Oct Shipping: 14 to 15 business days.
R 1,498
R 1,258

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "The Practice of Formal Methods(Springer Verlag Gmbh)"

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia, industry, policy, and service. Cliff is a Fellow of the Royal Academy of Engineering, ACM, BCS, and IET, and in 2015 he was the inaugural Fellow of the Formal Methods Europe association. His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University. Throughout his career, he has championed the essential role of formalism in design processes. His collaboration at IBM in the 1970s led to the creation of the Vienna Development Method (VDM), a seminal contribution that has influenced both practical industry applications and theoretical advancements. Cliff was the founding editor of the ACM journal Formal Aspects of Computing, a founder of the Formal Methods symposium, and he played a pivotal role in the IFIP Working Groups on Programming Methodology and Verified Software. His policy advocacy has been instrumental in fostering public discourse on the reliability of computing systems. The 30 contributions in this volume are a snapshot of the many current scientific developments inspired by or built upon Cliff's contributions.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews