Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Juggling Formal Methods and Security

Name: Juggling Formal Methods and Security
Brand: Springer, Berlin
SKU: 51248515
Price: 105.19 EUR
Availability: InStock
Author: Barbara Fila
ISBN: 9783032206831

Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday

Barbara Fila

Hugo Jonker

Sasa Radomirovic

Language

English

Book Paperback

Libristo code: 51248515

Publishers Springer, Berlin, July 2026

This Festschrift is dedicated to Sjouke Mauw on the occasion of his 65th birthday. Its title reflect... Full description

Libristo code: 51248515

257 b

New

105.19 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Schwarzwälder Dorfgeschichten Berthold Auerbach

Hardback

57.90 €

Johann Wolfgang Goethe: Iphigenie auf Tauris (Lehrerband) Max Kämper

Paperback

24.00 €

LA SAL DE LA TIERRA WITTLIN

Hardback

32.39 €

Keď detstvo bolí Lindsay C. Gibson

Paperback

14.99 €

Jakob Andreaes Vermittlungstätigkeit Stefan Aderhold

Paperback

179.69 €

KDV

Hardback

349.21 €

Karty proti negativite Pooky Knightsmith

Paperback

20.89 €

This Festschrift is dedicated to Sjouke Mauw on the occasion of his 65th birthday. Its title reflecting not only two of his central academic pursuits but his playful nature. Sjouke s academic career started with a focus on formal specifications which expanded to encompass the field of digital security. His oeuvre is marked by a rigorously formal approach to problems, which has enabled him not only to reveal technical subtleties but also to anticipate important conceptual shifts.

In addition to his successes in research, Sjouke has always been deeply committed to teaching, taking care in nurturing and challenging students to develop. Many of them have contributed to this volume, and collectively this reflects his excellent impact as a researcher, educator, and mentor.