Mohlo by se vám také líbit

Více informací o knize Juggling Formal Methods and Security

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 231 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Mathematical theory of computation

• Plný název: Juggling Formal Methods and Security
• Podnázev: Essays Dedicated to Sjouke Mauw on the Occasion of His 65th Birthday
• Autor: Barbara Fila, Hugo Jonker, Sasa Radomirovic
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 254
• EAN: 9783032206831
• ID: 51248515
• Nakladatelství: Springer, Berlin
• Hmotnost: 412 g
• Rozměry: 235 × 155 mm
• Datum vydání: 17. July 2026

Oblíbené z jiného soudku

---

---

---