Peter Csaba Ölveczky

ספרים שבהם Peter Csaba Ölveczky מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Aspects of Component SoftwareChristiano Braga

Formal Aspects of Component Software

Christiano Braga · 2016

Formal Techniques for Safety-Critical SystemsCyrille Artho

Formal Techniques for Safety-Critical Systems

Cyrille Artho · 2015

Theoretical Aspects of Computing - ICTAC 2021Antonio Cerone

Theoretical Aspects of Computing - ICTAC 2021

Antonio Cerone · 2021

Logic, Rewriting, and ConcurrencyNarciso Martí-Oliet

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet · 2015