Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /

This Festschrift, dedicated to Jan Peleska on the occasion of his 65th birthday, contains papers written by many of his closest collaborators in academic and industry research. After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-toler...

وصف كامل

التفاصيل البيبلوغرافية

مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Haxthausen, Anne E. (المحرر), Huang, Wen-ling (المحرر), Roggenbach, Markus (المحرر)
التنسيق:	الكتروني كتاب الكتروني
اللغة:	الإنجليزية
منشور في:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
الطبعة:	1st ed. 2023.
سلاسل:	Lecture Notes in Computer Science, 14165
الموضوعات:	Software engineering. Computer science. Software Engineering. Computer Science Logic and Foundations of Programming.
الوصول للمادة أونلاين:	https://doi.org/10.1007/978-3-031-40132-9
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!